OAI/Analysis/RieszRectifiability/Kernel/CappedDensityPairing.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Local and exterior capped density pairings

The ball and its closed exterior partition the global density pairing. Local and renormalized exterior adjoint identities combine to prove integrability and identify their sum with the negative global capped-transform pairing.

  1. theorem OAI.RieszRectifiability.local_plus_exterior_capped_density_pairing line 20