OAI/Analysis/RieszRectifiability/Limits/CompactLimitCappedTransform.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Capped transforms under compact-test limits

Bilinear bounds inherited by a weak limit yield scalar capped-transform L² bounds on ball restrictions, with constants controlled by upper growth and truncation bounds.

  1. theorem OAI.RieszRectifiability.compact_limit_scalarCappedTransform_L2_bound line 21