OAI/MathematicalPhysics/BFSS/LocalBounds.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Gauge-neighborhood cutoffs and local integral bounds.

  1. lemma OAI.BFSSQuantum.AlgebraData.gauge_neighborhood_cutoff line 17
  2. theorem OAI.BFSSQuantum.AlgebraData.normalOrbit_local_integral_bound line 67