FormalConjecturesForMathlib/RingTheory/
57 declarations, 0 contain sorry, 0 declared as axioms; 11 files
Folders
- Bialgebra/ 2 files, 13 declarations
- Ideal/ 3 files, 18 declarations
- MvPolynomial/ 1 files, 7 declarations
- Noetherian/ 1 files, 1 declarations
- Valuation/ 1 files, 5 declarations
Files
- CohenMacaulayModule.lean 6 declarations
- IntersectionMultiplicity.lean 4 declarations
- SystemOfParameters.lean 3 declarations