SinTan1729/comm_alg
1
0
Fork 0
mirror of https://github.com/GTBarkley/comm_alg.git synced 2024-10-16 11:37:05 -05:00
Code Issues Projects Releases Packages Wiki Activity
331 commits 9 branches 0 tags 367 KiB
Commit graph

4 commits

Author SHA1 Message Date
leopoldmayer
d0a6d8605e golfed imports 2023-06-16 09:54:07 -07:00
leopoldmayer
2402dd93b2 removed dependency on false sorried lemma 2023-06-16 00:07:32 -07:00
leopoldmayer
c702c535b5 golf attempt 2023-06-15 22:13:11 -07:00
leopoldmayer
4b9f84f7c1 new file for complete proof of adjoining a var 2023-06-15 22:10:39 -07:00