OAI/Analysis/Laughlin/Tensor/
46 declarations, 0 contain sorry, 0 declared as axioms; 10 files
Files
- Antisymmetry.lean 5 declarations
- ExteriorAdjoint.lean 8 declarations
- ExteriorContraction.lean 6 declarations
- ExteriorIsometry.lean 5 declarations
- ExteriorRotation.lean 4 declarations
- FockEnergy.lean 2 declarations
- KernelReadout.lean 2 declarations
- PairContraction.lean 6 declarations
- PolynomialRealization.lean 4 declarations
- WeightProducts.lean 4 declarations