SinTan1729/comm_alg
1
0
Fork 0
mirror of https://github.com/GTBarkley/comm_alg.git synced 2024-12-26 23:48:36 -06:00
Code Issues Projects Releases Packages Wiki Activity
271 commits 9 branches 0 tags 384 KiB
Commit graph

3 commits

Author SHA1 Message Date
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