OAI/Analysis/Mahler/WedgeUnit.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Mahler.emptyRightEquiv line 11
2. lemma OAI.Mahler.wedge_unit_right line 19
3. lemma OAI.Mahler.powerFinEquiv_one line 34
4. lemma OAI.Mahler.wedgePower_one_fin line 40
5. lemma OAI.Mahler.prependFinEquiv_eq line 48
6. lemma OAI.Mahler.boundaryFinEquiv_factor line 59
7. lemma OAI.Mahler.wedge_power_one_boundary line 65