OAI/Algebra/AffineCancellation/PositiveInvariant.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.ComplexCancellation.LND.conjugate line 9
2. lemma OAI.ComplexCancellation.LND.conjugate_apply line 14
3. lemma OAI.ComplexCancellation.LND.conjugate_iterate line 16
4. lemma OAI.ComplexCancellation.LND.conjugate_ln line 21
5. lemma OAI.ComplexCancellation.LND.pderiv_ln line 26
6. lemma OAI.ComplexCancellation.Rees.F_ne_zero line 39
7. lemma OAI.ComplexCancellation.Rees.coefficient_not_mem line 54
8. lemma OAI.ComplexCancellation.Rees.positive_clear line 67
9. lemma OAI.ComplexCancellation.Rees.polynomial_bad_coordinate line 83
10. lemma OAI.ComplexCancellation.Rees.bad_invariant line 98
11. lemma OAI.ComplexCancellation.Rees.positive_invariant_of_polynomial line 111