poincare-duality 58450c56be renamed thngs		2023-06-12 14:21:59 -07:00
..
grant.lean	wrote some characterizations of bounding krull	2023-06-12 04:02:16 +00:00
krull.lean	updated krull_dim name, addd krullDim_le_iff	2023-06-12 09:49:40 -07:00
resources.lean	new: Added some more theorems about ses	2023-06-11 23:30:10 -07:00