OAI/LinearAlgebra/MatrixFields/Construction/
954 declarations, 0 contain sorry, 0 declared as axioms; 36 files
Files
- ActiveSums.lean 29 declarations
- CompleteWordPair.lean 5 declarations
- ComplexExpressionFamily.lean 3 declarations
- ComplexLocalMaps.lean 18 declarations
- ComplexPolynomialWitnessProduct.lean 13 declarations
- ComplexRectangularASI.lean 65 declarations
- ComplexSharedAuxiliaryBank.lean 4 declarations
- ExactStatisticWords.lean 32 declarations
- ExpressionFamily.lean 3 declarations
- FinalState.lean 27 declarations
- FiniteCover.lean 4 declarations
- GroupAmbientDegree.lean 43 declarations
- GroupAssignmentRetention.lean 20 declarations
- GroupAssignments.lean 16 declarations
- GroupBranchDesignation.lean 4 declarations
- GroupDegreeEnvelope.lean 8 declarations
- GroupNativeDegreeBound.lean 4 declarations
- InitialFamily.lean 34 declarations
- InitialHistories.lean 7 declarations
- InitialState.lean 120 declarations
- JointAPFree.lean 19 declarations
- JointCanonicalMixed.lean 17 declarations
- JointCanonicalSymmetry.lean 2 declarations
- JointCoarseReorder.lean 5 declarations
- JointCompatibilityCountProducer.lean 7 declarations
- JointCompatibilityIncidence.lean 48 declarations
- JointCompatibilityScaling.lean 19 declarations
- JointGibbsApproximation.lean 10 declarations
- JointLossCounts.lean 20 declarations
- JointMarginalSupport.lean 37 declarations
- JointMaskedAssignment.lean 71 declarations
- OrderedLimits.lean 126 declarations
- PairMarginals.lean 13 declarations
- ShapeEncoding.lean 47 declarations
- Subdivision.lean 17 declarations
- ZeroFinish.lean 37 declarations