OAI/Geometry/RCD/Harmonic/CompactRadialPairingIdentity.lean
1 declarations, 0 contain sorry, 0 declared as axioms
The exact radial integral obtained from compact smooth recoveries
- theorem
OAI.RegularPointCoordinates.compact_radial_pairing_identityline 12