OAI/Algebra/AffineCancellation/Kernel.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ComplexCancellation.LND.inv_factorial_succ line 11
2. lemma OAI.ComplexCancellation.LND.derivative_orbit line 17
3. lemma OAI.ComplexCancellation.LND.kernel_factorially_closed line 25
4. lemma OAI.ComplexCancellation.LND.fixed_of_dvd line 55
5. lemma OAI.ComplexCancellation.LND.polynomial_dX_constant line 68
6. lemma OAI.ComplexCancellation.LND.nilpotent_add line 88
7. lemma OAI.ComplexCancellation.LND.nilpotent_mul line 97
8. lemma OAI.ComplexCancellation.LND.mvPolynomial_locallyNilpotent line 111