OAI/Geometry/CAT0Fillings/Rearrangement/Energy.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CAT0Fillings.Rearrangement.map_antitone_derivative_measure line 14
2. lemma OAI.CAT0Fillings.Rearrangement.inverse_energy_identity line 28
3. lemma OAI.CAT0Fillings.Rearrangement.coarea_ratio_bound line 100
4. theorem OAI.CAT0Fillings.Rearrangement.rearranged_profile_energy_bound line 115