OAI/Analysis/Laughlin/Exterior/
63 declarations, 0 contain sorry, 0 declared as axioms; 10 files
Files
- FamilyCovariance.lean 4 declarations
- FourConjugation.lean 4 declarations
- OccupationDiagonal.lean 5 declarations
- OccupationMetric.lean 4 declarations
- PairConjugation.lean 10 declarations
- Scaling.lean 7 declarations
- ScalingWedge.lean 4 declarations
- SpinAction.lean 11 declarations
- SpinUnitary.lean 7 declarations
- VectorAdjoint.lean 7 declarations