OAI/Analysis/Laughlin/Polynomial/
95 declarations, 0 contain sorry, 0 declared as axioms; 17 files
Files
- AntisymmetricCoordinates.lean 6 declarations
- BracketCoprime.lean 4 declarations
- BracketIrreducible.lean 2 declarations
- BracketProductDivisibility.lean 4 declarations
- LaughlinAntisymmetry.lean 7 declarations
- LaughlinDegree.lean 8 declarations
- LaughlinMultidegree.lean 5 declarations
- OscillatorPolynomial.lean 11 declarations
- OscillatorPolynomialLadder.lean 3 declarations
- PhysicalLaughlinKernel.lean 4 declarations
- Polynomial.lean 4 declarations
- PolynomialMatrixODE.lean 11 declarations
- SourceEqualSpinPolynomial.lean 2 declarations
- SourceIntegerPolynomial.lean 3 declarations
- SymmetricTensorCoordinates.lean 7 declarations
- SymmetricTensorOrbit.lean 5 declarations
- SymmetricTensorRange.lean 9 declarations