OAI/Geometry/CAT0Fillings/Transport/RadialMoments.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CAT0Fillings.RadialSobolev.weightedTransport_hasDerivAt line 13
2. lemma OAI.CAT0Fillings.RadialSobolev.radial_integration_by_parts line 19
3. lemma OAI.CAT0Fillings.RadialSobolev.radialTransport_ac line 53
4. lemma OAI.CAT0Fillings.RadialSobolev.radialTransport_integral_moment line 84
5. lemma OAI.CAT0Fillings.RadialSobolev.transport_power_identity line 116
6. lemma OAI.CAT0Fillings.RadialSobolev.transport_pointwise_agm line 124