Modules

6 modules

Module	Definitions	Theorems
Hochster/Section2.lean	5	38
Hochster/Section3.lean	26	48
Hochster/Section4.lean	8	56
Hochster/Section5.lean	9	17
Hochster/Section6.lean	20	77
Hochster/Section7.lean	4	1