OAI/Analysis/RieszRectifiability/Limits/ScaledCommonAffineStrongLimit.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Strong affine limits with positive planar density

Rescaling the measures by the reciprocal limiting density reduces to unit planar density. Growth, oscillation and local energy estimates scale compatibly, and canceling the positive scalar transfers the common affine strong limit back.

  1. theorem OAI.RieszRectifiability.exists_common_affine_strong_limit_of_positive_density line 22