OAI/LinearAlgebra/MatrixFields/Entropy/
874 declarations, 0 contain sorry, 0 declared as axioms; 29 files
Files
- ComplexAsymptoticRecurrence.lean 2 declarations
- ComplexPolynomialPowerGrowth.lean 8 declarations
- ConditionalContinuity.lean 5 declarations
- ConditionalRateBridge.lean 10 declarations
- ConstructionRates.lean 14 declarations
- FiniteAverage.lean 26 declarations
- FloorExponentialRates.lean 9 declarations
- GroupBranchLaws.lean 124 declarations
- GroupCountRate.lean 16 declarations
- GroupPairEntropy.lean 12 declarations
- GroupProjectedEntropy.lean 83 declarations
- InitialEntropy.lean 23 declarations
- InitialLeafRates.lean 45 declarations
- JointAmbientEntropy.lean 24 declarations
- JointAmbientRateLimit.lean 4 declarations
- JointCompatibilityEntropyBound.lean 14 declarations
- JointCompatibilityRateLimit.lean 16 declarations
- JointExtractionRates.lean 60 declarations
- JointMaskedRates.lean 5 declarations
- NativeLaws.lean 18 declarations
- ParametersHalfLaws.lean 26 declarations
- RateLimit.lean 14 declarations
- RectangularGrowth.lean 8 declarations
- StageCLaw.lean 71 declarations
- StageCTerminalRates.lean 9 declarations
- TerminalRates.lean 32 declarations
- TerminalStatisticLaws.lean 26 declarations
- ZeroLeafRateFormula.lean 91 declarations
- ZeroLeafRates.lean 79 declarations