OAI/Geometry/CAT0Fillings/Slicing/Superlevels.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CAT0Fillings.Slicing.ae_level_measure_zero line 35
2. def OAI.CAT0Fillings.Slicing.superlevelSlice line 41
3. lemma OAI.CAT0Fillings.Slicing.superlevelSlice_weak_tendsto line 46
4. lemma OAI.CAT0Fillings.Slicing.ae_superlevelSlice_weak_tendsto line 66
5. lemma OAI.CAT0Fillings.Slicing.ae_superlevelSlice_eq_coarea line 89
6. lemma OAI.CAT0Fillings.Slicing.superlevelSlice_coarea_bound line 119