OAI/Geometry/CAT0Fillings/Chord/TestIdentity.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.CAT0Fillings.Conformal.profileGradient line 12
2. lemma OAI.CAT0Fillings.Conformal.radial_profile_complete line 15
3. lemma OAI.CAT0Fillings.ChartGeometry.closed_added_tests line 35
4. lemma OAI.CAT0Fillings.Conformal.radial_value_cancel line 71
5. lemma OAI.CAT0Fillings.Conformal.completed_profile_cancel line 81
6. lemma OAI.CAT0Fillings.ChartGeometry.added_tests_identity line 97