OAI/Geometry/CAT0Fillings/Slices/Carriers.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CAT0Fillings.BorelRestriction.restrictCurrent_controls_original line 18
2. lemma OAI.CAT0Fillings.BorelRestriction.borelAction_restriction line 25
3. lemma OAI.CAT0Fillings.BorelRestriction.restrictCurrent_restrict line 51
4. lemma OAI.CAT0Fillings.BorelRestriction.restrictCurrent_eq_self_of_mass_compl_zero line 70
5. lemma OAI.CAT0Fillings.BorelRestriction.massMeasure_restrict_compl_zero line 84
6. lemma OAI.CAT0Fillings.Slicing.borelAction_mul_zero_of_lip line 103
7. lemma OAI.CAT0Fillings.Slicing.massMeasure_nonzero_zero_of_mul_zero line 134
8. lemma OAI.CAT0Fillings.Slicing.mul_action_zero_of_massMeasure_nonzero_zero line 189
9. lemma OAI.CAT0Fillings.Slicing.boundary_mul_zero_of_massMeasure line 201
10. lemma OAI.CAT0Fillings.Slicing.massMeasure_boundary_nonzero_zero line 225
11. lemma OAI.CAT0Fillings.Slicing.massMeasure_restrict_nonzero_zero line 234
12. lemma OAI.CAT0Fillings.Slicing.massMeasure_superlevelSlice_nonzero_zero line 241