OAI/Geometry/CAT0Fillings/Slicing/IntegralBoundary.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CAT0Fillings.boundarySucc_sub line 35
2. lemma OAI.CAT0Fillings.IsIntegral.boundarySucc line 41
3. lemma OAI.CAT0Fillings.IsIntegral.sub line 50
4. lemma OAI.CAT0Fillings.Slicing.restrictCurrent_zero_of_eq_zero line 67
5. lemma OAI.CAT0Fillings.Slicing.boundary_superlevelSlice line 80
6. lemma OAI.CAT0Fillings.Slicing.ae_superlevelSlice_integral line 93
7. lemma OAI.CAT0Fillings.Slicing.superlevelSlice_normal_coarea_bound line 110