OAI/Analysis/LipschitzHilbert/Trees/SourcePhysicalPowerGain.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

The predictable amplitude estimate at the source parameters, with a fixed dyadic power gain and no auxiliary packet-motion hypothesis.

  1. theorem OAI.LipschitzHilbert.AngularGrid.source_physical_amplitude_power_gain line 16