OAI/Algebra/AffineCancellation/FractionDerivation.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.ComplexCancellation.FractionDerivation.dualMap line 13
2. lemma OAI.ComplexCancellation.FractionDerivation.dualMap_fst line 35
3. lemma OAI.ComplexCancellation.FractionDerivation.dualMap_snd line 41
4. def OAI.ComplexCancellation.FractionDerivation.dualLift line 46
5. lemma OAI.ComplexCancellation.FractionDerivation.dualLift_algebraMap line 53
6. lemma OAI.ComplexCancellation.FractionDerivation.dualLift_fst line 57
7. def OAI.ComplexCancellation.FractionDerivation.extend line 67
8. lemma OAI.ComplexCancellation.FractionDerivation.extend_algebraMap line 74
9. lemma OAI.ComplexCancellation.FractionDerivation.iterate_algebraMap line 80