OAI/Analysis/LipschitzHilbert/Trees/SourceBoxSupremumEnergy.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

The uniform cell-supremum energy estimate, derived from actual coordinate spectra and the proved strong maximal bound.

  1. theorem OAI.LipschitzHilbert.finite_box_supremum_energy line 14