`FormalConjecturesForMathlib/Algebra/`

75 declarations, 0 contain sorry, 0 declared as axioms; 15 files

Folders

GCDMonoid/ 1 files, 1 declarations
Group/ 3 files, 16 declarations
Homology/ 1 files, 11 declarations
MvPolynomial/ 2 files, 13 declarations
Order/ 1 files, 2 declarations
Polynomial/ 3 files, 6 declarations
QuadraticAlgebra/ 1 files, 7 declarations
Ring/ 1 files, 7 declarations

Files

GradedMonoid.lean 1 declarations
Powerfree.lean 11 declarations