OAI/LinearAlgebra/MatrixMultiplication/JointExtraction/
733 declarations, 0 contain sorry, 0 declared as axioms; 51 files
Files
- APFree.lean 19 declarations
- AmbientDegree.lean 17 declarations
- AmbientEntropy.lean 24 declarations
- AmbientRateLimit.lean 4 declarations
- AssignmentLoss.lean 10 declarations
- CanonicalCW.lean 14 declarations
- CanonicalInitial.lean 19 declarations
- CanonicalMixed.lean 17 declarations
- CanonicalSymmetry.lean 2 declarations
- Canonicalization.lean 36 declarations
- CapacityAlgebra.lean 2 declarations
- CoarseAssignment.lean 8 declarations
- CoarseHashing.lean 26 declarations
- CoarseReorder.lean 5 declarations
- CompatibilityControls.lean 17 declarations
- CompatibilityCountProducer.lean 7 declarations
- CompatibilityEntropyBound.lean 14 declarations
- CompatibilityIncidence.lean 48 declarations
- CompatibilityRateLimit.lean 16 declarations
- CompatibilityScaling.lean 19 declarations
- ConditionalCountEntropy.lean 8 declarations
- EntropyMax.lean 11 declarations
- Extraction.lean 14 declarations
- ExtractionRates.lean 27 declarations
- GibbsApproximation.lean 10 declarations
- GroupedEntropyEmbedding.lean 19 declarations
- GroupedEntropyPartition.lean 11 declarations
- Hashing.lean 32 declarations
- IdealBranches.lean 5 declarations
- LossCounts.lean 20 declarations
- MarginalSupport.lean 4 declarations
- MaskedAssignment.lean 12 declarations
- MaskedGoodSelection.lean 4 declarations
- MaskedRates.lean 5 declarations
- MaskedSelection.lean 19 declarations
- NativeGroupedEntropy.lean 16 declarations
- OrbitFibers.lean 13 declarations
- OrbitRecovery.lean 5 declarations
- OrdinaryPopulationSelection.lean 20 declarations
- OrdinarySelection.lean 18 declarations
- PairClassWindows.lean 7 declarations
- PairMixtureControls.lean 7 declarations
- Population.lean 23 declarations
- PopulationCWNonzero.lean 1 declarations
- PopulationCompatibility.lean 34 declarations
- PopulationMixedCompatibility.lean 3 declarations
- PopulationMixedNonzero.lean 1 declarations
- PopulationRates.lean 17 declarations
- ProjectedGroupEntropy.lean 7 declarations
- ScalarOrbitAdmissibility.lean 3 declarations
- TypeCounts.lean 33 declarations