SinTan1729/comm_alg
1
0
Fork 0
mirror of https://github.com/GTBarkley/comm_alg.git synced 2025-04-19 10:20:00 -05:00
Code Issues Projects Releases Packages Wiki Activity
comm_alg/comm_alg
History
GTBarkley d1c10a2d3a
Merge pull request #12 from GTBarkley/grant 
checked preliminary definition of Krull dimension
2023-06-10 17:37:21 -07:00
..
grant.lean checked preliminary definition of Krull dimension 2023-06-11 00:36:27 +00:00
krull.lean added statements of lemmas we'd like to prove 2023-06-10 08:13:10 -07:00
resources.lean added statements of lemmas we'd like to prove 2023-06-10 08:13:10 -07:00