OAI/Analysis/LipschitzHilbert/Packets/SourceSelectorConcentrationFamily.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

A single physical-plane exception controls both synthesis jets of every top. The constants and polynomial threshold precede the family.

  1. theorem OAI.LipschitzHilbert.SourceLatticePacket.source_frozen_jet_family_concentration line 14