OAI/Geometry/Cannon/Beltrami/Beltrami.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CannonBeltrami.ae_eq_on_of_schwartz_mul line 36
2. theorem OAI.CannonBeltrami.metric_weak_beltrami_classical line 64
3. def OAI.CannonConformal.beltrami line 136
4. lemma OAI.CannonConformal.measurable_beltrami line 139
5. lemma OAI.CannonConformal.beltrami_uniform_bound line 151
6. def OAI.CannonConformal.coefficientForm line 199
7. lemma OAI.CannonConformal.evaluate_coefficientForm line 202
8. lemma OAI.CannonConformal.coefficient_reconstruction line 208