OAI/LinearAlgebra/MatrixMultiplication/Duality/
333 declarations, 0 contain sorry, 0 declared as axioms; 34 files
Files
- CompletionIndependence.lean 9 declarations
- CompletionLaws.lean 22 declarations
- EntropyHelpers.lean 4 declarations
- ExponentBound.lean 4 declarations
- ExponentConsumer.lean 9 declarations
- FamilyConstruction.lean 2 declarations
- FiniteRates.lean 9 declarations
- FiniteRealization.lean 13 declarations
- HiddenCounts.lean 5 declarations
- HiddenInstances.lean 15 declarations
- HiddenRates.lean 7 declarations
- Information.lean 14 declarations
- InformationConditioning.lean 3 declarations
- InformationLabelConditioning.lean 2 declarations
- InformationSchedule.lean 2 declarations
- InformationTransport.lean 6 declarations
- LawEntropy.lean 11 declarations
- ProgramIndependence.lean 9 declarations
- RootIndependence.lean 5 declarations
- ScriptIndependence.lean 12 declarations
- TerminationIndependence.lean 5 declarations
- Uniform.lean 12 declarations
- UniformConditioning.lean 9 declarations
- UniformInstances.lean 16 declarations
- UniformMixtures.lean 11 declarations
- UniformProducts.lean 5 declarations
- UniformUpdates.lean 2 declarations
- Witness.lean 5 declarations
- WitnessArithmetic.lean 35 declarations
- WitnessEntropy.lean 2 declarations
- WitnessProgram.lean 10 declarations
- WitnessRates.lean 3 declarations
- WitnessRealization.lean 18 declarations
- WitnessRecurrence.lean 37 declarations