OAI/Analysis/LipschitzHilbert/Trees/SourcePhysicalCellMarking.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

The source marking dichotomy for actual top weights on an arbitrary reference-line cell of the prescribed block length.

  1. theorem OAI.LipschitzHilbert.AngularGrid.eventually_source_physical_cell_marking line 15