OAI/Analysis/Laughlin/FiniteFlux/LDLData08.lean
2 declarations, 0 contain sorry, 0 declared as axioms
- def
OAI.Laughlin.Certificate.lower_8line 7 - def
OAI.Laughlin.Certificate.pivots_8line 12
OAI/Analysis/Laughlin/FiniteFlux/LDLData08.lean2 declarations, 0 contain sorry, 0 declared as axioms
OAI.Laughlin.Certificate.lower_8 line 7OAI.Laughlin.Certificate.pivots_8 line 12