OAI/Analysis/Quantum/DimensionTen/
4569 declarations, 0 contain sorry, 0 declared as axioms; 75 files
Files
- AlphaMinors.lean 9 declarations
- Annihilator.lean 64 declarations
- BorderData.lean 109 declarations
- BorderField.lean 19 declarations
- BorderRelations.lean 64 declarations
- Channel.lean 19 declarations
- ChoiPairing.lean 6 declarations
- Cofactors.lean 11 declarations
- CompoundTrace.lean 11 declarations
- EigenAdjoin.lean 3 declarations
- EigenData.lean 182 declarations
- EvaluationMinors.lean 8 declarations
- ExteriorEvaluation.lean 11 declarations
- ExteriorMaps.lean 16 declarations
- FamilyGeometry.lean 7 declarations
- FieldRepresentation.lean 3 declarations
- FrobeniusRoots.lean 5 declarations
- GaloisCertificate.lean 9 declarations
- GaloisField.lean 19 declarations
- IndependentMinor.lean 2 declarations
- IntegerPolynomials.lean 72 declarations
- Kraus.lean 11 declarations
- LowBasis.lean 63 declarations
- Main.lean 12 declarations
- MinorData.lean 48 declarations
- MinorRelations.lean 9 declarations
- Mod131Model.lean 3 declarations
- Mod131Powers01.lean 130 declarations
- Mod131Powers02.lean 130 declarations
- Mod131Powers03.lean 130 declarations
- Mod131Powers04.lean 130 declarations
- Mod131Powers05.lean 130 declarations
- Mod131Powers06.lean 130 declarations
- Mod131Powers07.lean 130 declarations
- Mod131Powers08.lean 130 declarations
- Mod131Powers09.lean 65 declarations
- Mod131Result.lean 29 declarations
- Mod139Model.lean 3 declarations
- Mod139Powers01.lean 144 declarations
- Mod139Powers02.lean 144 declarations
- Mod139Powers03.lean 144 declarations
- Mod139Powers04.lean 144 declarations
- Mod139Powers05.lean 144 declarations
- Mod139Powers06.lean 144 declarations
- Mod139Powers07.lean 144 declarations
- Mod139Powers08.lean 144 declarations
- Mod139Powers09.lean 144 declarations
- Mod139Powers10.lean 72 declarations
- Mod139Result.lean 30 declarations
- Mod41Model.lean 3 declarations
- Mod41Powers01.lean 102 declarations
- Mod41Powers02.lean 102 declarations
- Mod41Powers03.lean 102 declarations
- Mod41Powers04.lean 102 declarations
- Mod41Powers05.lean 102 declarations
- Mod41Powers06.lean 102 declarations
- Mod41Powers07.lean 102 declarations
- Mod41Powers08.lean 102 declarations
- Mod41Powers09.lean 102 declarations
- Mod41Powers10.lean 102 declarations
- Mod41Result.lean 32 declarations
- ModularPermutations.lean 9 declarations
- NormalizedMatrices.lean 8 declarations
- PencilKraus.lean 7 declarations
- PencilModel.lean 38 declarations
- PencilPoints.lean 11 declarations
- PolynomialData.lean 44 declarations
- PureMatrices.lean 12 declarations
- QuadraticBounds.lean 8 declarations
- RootPermutation.lean 3 declarations
- RootReduction.lean 7 declarations
- TensorKraus.lean 8 declarations
- TensorSymmetry.lean 11 declarations
- TwentyDirections.lean 6 declarations
- Veronese.lean 12 declarations