OAI/Geometry/Cannon/Conformal/WeakQSPartialsLocally.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CannonMetricQC.weakQS_partials_locallyIntegrable line 35
2. lemma OAI.CannonMetricQC.weakQS_partial_integration_by_parts line 48