FormalConjecturesForMathlib/Algebra/Polynomial/
6 declarations, 0 contain sorry, 0 declared as axioms; 3 files
Files
- Algebra.lean 3 declarations
- Basic.lean 2 declarations
- HasseDeriv.lean 1 declarations