FLT/Mathlib/Algebra/Polynomial/
7 declarations, 0 contain sorry, 0 declared as axioms; 2 files
Files
- QuadraticDiscriminant.lean 6 declarations
- Splits.lean 1 declarations
FLT/Mathlib/Algebra/Polynomial/7 declarations, 0 contain sorry, 0 declared as axioms; 2 files