OAI/Analysis/Laughlin/ThreeBody/
181 declarations, 0 contain sorry, 0 declared as axioms; 36 files
Files
- Basic.lean 14 declarations
- Contraction.lean 3 declarations
- Descendants.lean 6 declarations
- FockBudget.lean 2 declarations
- FockComparison.lean 3 declarations
- FockHaar.lean 5 declarations
- FockNull.lean 3 declarations
- FockTail.lean 3 declarations
- Gram.lean 3 declarations
- GramSlice.lean 5 declarations
- GroupIntertwining.lean 3 declarations
- HaarBlocks.lean 7 declarations
- HaarNormalization.lean 4 declarations
- HighestEigen.lean 5 declarations
- HighestFock.lean 5 declarations
- HighestReadout.lean 3 declarations
- HighestRow.lean 4 declarations
- IntegerPolynomial.lean 3 declarations
- LevelTrace.lean 5 declarations
- NullFormula.lean 4 declarations
- NullSectors.lean 3 declarations
- PairAction.lean 5 declarations
- PhysicalKernel.lean 6 declarations
- PhysicalMatrix.lean 6 declarations
- PhysicalTrace.lean 4 declarations
- PolynomialCoefficient.lean 2 declarations
- ProjectorBound.lean 2 declarations
- Radical.lean 5 declarations
- RankTrace.lean 4 declarations
- SourceExpansion.lean 11 declarations
- SpinCovariance.lean 8 declarations
- SpinProjectors.lean 12 declarations
- TraceCertificate.lean 5 declarations
- TraceComparison.lean 5 declarations
- TraceLimit.lean 6 declarations
- TraceReadout.lean 7 declarations