`OAI/Combinatorics/PolynomialVacuum/Separator/`

58 declarations, 0 contain sorry, 0 declared as axioms; 7 files

Files

CenteredPartition.lean 7 declarations
Degree.lean 6 declarations
EstimateTarget.lean 3 declarations
NormalFamily.lean 11 declarations
Normalization.lean 11 declarations
Polynomial.lean 11 declarations
Summability.lean 9 declarations