OAI/Analysis/IrrationalRotation/Model/DiagonalGauge.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

  1. abbrev OAI.Invariant233.DiagonalGauge.Circle line 12
  2. abbrev OAI.Invariant233.DiagonalGauge.Fiber line 13
  3. def OAI.Invariant233.DiagonalGauge.weight line 15
  4. def OAI.Invariant233.DiagonalGauge.fiberOperator line 21
  5. def OAI.Invariant233.DiagonalGauge.fieldOperator line 24
  6. def OAI.Invariant233.DiagonalGauge.conjugate line 28