OAI/Algebra/AffineCancellation/RationalSlice.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ComplexCancellation.RationalSlice.last_nonzero line 17
2. lemma OAI.ComplexCancellation.RationalSlice.exists_slice line 32
3. lemma OAI.ComplexCancellation.RationalSlice.iterate_constant_mul line 54
4. lemma OAI.ComplexCancellation.RationalSlice.constant_fraction line 63
5. lemma OAI.ComplexCancellation.RationalSlice.image_is_polynomial line 80