OAI/Analysis/Laughlin/Spin/Specializations.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Laughlin.Spin.affine_spin_tendsto line 11
2. theorem OAI.Laughlin.Spin.affine_spin_fraction_tendsto line 20
3. theorem OAI.Laughlin.Spin.genericUnitDescendant_threeBody line 36
4. theorem OAI.Laughlin.Spin.source_threeBody_coupling_tendsto line 40
5. theorem OAI.Laughlin.Spin.source_fourBody_inner_coupling_tendsto line 54
6. theorem OAI.Laughlin.Spin.source_fourBody_outer_coupling_tendsto line 66