OAI/Analysis/Laughlin/Planar/
49 declarations, 0 contain sorry, 0 declared as axioms; 4 files
Files
- DegreeRestriction.lean 17 declarations
- Forms.lean 6 declarations
- Model.lean 17 declarations
- Restriction.lean 9 declarations