OAI/Analysis/Laughlin/Spin/ArrayLimit.lean
2 declarations, 0 contain sorry, 0 declared as axioms
- def
OAI.Laughlin.Spin.oscillatorArrayline 11 - theorem
OAI.Laughlin.Spin.couplingArray_tendstoline 19
OAI/Analysis/Laughlin/Spin/ArrayLimit.lean2 declarations, 0 contain sorry, 0 declared as axioms
OAI.Laughlin.Spin.oscillatorArray line 11OAI.Laughlin.Spin.couplingArray_tendsto line 19