Polynomial

Statistics

Name	Kind	Assumes	Proves	Validates	Depends On
`contDiff_aeval` 📖	mathematical	—	`ContDiff` `NonUnitalNormedRing.toNormedAddCommGroup` `NonUnitalNormedCommRing.toNonUnitalNormedRing` `NormedCommRing.toNonUnitalNormedCommRing` `NormedField.toNormedCommRing` `NontriviallyNormedField.toNormedField` `NormedField.toNormedSpace` `DFunLike.coe` `AlgHom` `Polynomial` `CommSemiring.toSemiring` `semiring` `DivisionSemiring.toSemiring` `Semifield.toDivisionSemiring` `Field.toSemifield` `NormedField.toField` `algebraOfAlgebra` `Algebra.id` `AlgHom.funLike` `aeval`	—	`induction_on'` `map_add` `SemilinearMapClass.toAddHomClass` `NonUnitalAlgHomClass.instLinearMapClass` `AlgHom.instNonUnitalAlgHomClassOfAlgHomClass` `AlgHom.algHomClass` `ContDiff.add` `aeval_monomial` `ContDiff.mul` `contDiff_const` `ContDiff.pow` `contDiff_id`

---