FormalConjecturesForMathlib/Algebra/MvPolynomial/
13 declarations, 0 contain sorry, 0 declared as axioms; 2 files
Files
- PoissonBracket.lean 7 declarations
- RegularFunction.lean 6 declarations
FormalConjecturesForMathlib/Algebra/MvPolynomial/13 declarations, 0 contain sorry, 0 declared as axioms; 2 files