OAI/Analysis/RieszRectifiability/Limits/DyadicCommonAffineStrongLimit.lean

A common affine strong limit from dyadic bounds

The common height limit satisfies a fractional equation whose rigidity forces it to be affine on the limiting plane. Second-moment and moment convergence then give strong square-integral convergence to the corresponding ambient affine height on every bounded projection region, along one shared subsequence.