OAI/Analysis/Laughlin/FourBody/
410 declarations, 0 contain sorry, 0 declared as axioms; 88 files
Files
- All.lean 1 declarations
- Assembly.lean 6 declarations
- Basic.lean 12 declarations
- BesselAllowance.lean 9 declarations
- CARReadout.lean 4 declarations
- CoefficientLimit.lean 2 declarations
- CoefficientNorm.lean 2 declarations
- Coefficients.lean 4 declarations
- ColumnExpansion.lean 6 declarations
- Copies.lean 7 declarations
- CopyAlgebra.lean 5 declarations
- CopyFormAllowance.lean 4 declarations
- CopyOperatorHaar.lean 4 declarations
- CopyOrthogonality.lean 7 declarations
- CoupledBasis.lean 5 declarations
- EndExpansion.lean 2 declarations
- ErrorCertificate.lean 5 declarations
- ErrorLimit.lean 11 declarations
- ErrorMatrix.lean 3 declarations
- Estimate.lean 1 declarations
- Expansion.lean 7 declarations
- FactorialCoefficient.lean 1 declarations
- Fast.lean 4 declarations
- FastChoose.lean 13 declarations
- FockCovariance.lean 8 declarations
- Formula.lean 3 declarations
- GlobalFock.lean 3 declarations
- GlobalHaar.lean 1 declarations
- GramCompute.lean 3 declarations
- GroupIntertwining.lean 8 declarations
- HaarAllowance.lean 2 declarations
- HaarTransfer.lean 5 declarations
- Hermitian.lean 5 declarations
- HighestFock.lean 4 declarations
- Integral.lean 8 declarations
- Levels.lean 4 declarations
- LimitCARReadout.lean 5 declarations
- LimitPositive.lean 4 declarations
- LocalNormalization.lean 1 declarations
- Matrix.lean 10 declarations
- MatrixCompute.lean 7 declarations
- MiddleForm.lean 3 declarations
- MiddleLimit.lean 5 declarations
- MultiplicityHaar.lean 5 declarations
- NormalForm.lean 4 declarations
- NumericBridge.lean 2 declarations
- OccupationCoefficient.lean 4 declarations
- PairTarget.lean 5 declarations
- Parity.lean 3 declarations
- PhysicalAllowance.lean 1 declarations
- PhysicalCertificate.lean 5 declarations
- PhysicalColumn.lean 5 declarations
- PhysicalGram.lean 4 declarations
- PhysicalMatrix.lean 3 declarations
- PhysicalSlaterReadout.lean 3 declarations
- PhysicalTrace.lean 6 declarations
- Quadruples.lean 5 declarations
- RadicalCancellation.lean 4 declarations
- RadicalCoefficient.lean 3 declarations
- RetainedComparison.lean 3 declarations
- RetainedInclusions.lean 10 declarations
- RetainedIndex.lean 6 declarations
- RetainedReconstruction.lean 2 declarations
- RetainedSum.lean 3 declarations
- RowBridge.lean 1 declarations
- RowCompute.lean 5 declarations
- Scaled.lean 11 declarations
- ScaledAll.lean 1 declarations
- SignedCoordinates.lean 8 declarations
- SlaterCoefficient.lean 2 declarations
- SlaterRadical.lean 3 declarations
- SliceCoefficient.lean 3 declarations
- Square.lean 6 declarations
- Support.lean 7 declarations
- Symmetry.lean 7 declarations
- TargetBound.lean 6 declarations
- TargetResolution.lean 3 declarations
- TensorIntertwining.lean 9 declarations
- TotalAllowance.lean 2 declarations
- TotalTransfer.lean 1 declarations
- TraceReadout.lean 4 declarations
- TransferCoefficients.lean 6 declarations
- TransferConjugation.lean 5 declarations
- Ungroup.lean 5 declarations
- UniformTransfer.lean 5 declarations
- WedgeCompression.lean 5 declarations
- WeightSlice.lean 1 declarations
- WeightedReadout.lean 4 declarations