OAI/LinearAlgebra/MatrixMultiplication/FieldConstruction/
896 declarations, 0 contain sorry, 0 declared as axioms; 56 files
Files
- ActiveCapacity.lean 11 declarations
- ActiveGibbs.lean 22 declarations
- ActiveLaws.lean 29 declarations
- ActiveSums.lean 29 declarations
- ComplementSums.lean 5 declarations
- Conditional.lean 2 declarations
- ConstructionData.lean 11 declarations
- ConstructionFamily.lean 5 declarations
- ConstructionLabels.lean 29 declarations
- ConstructionRates.lean 9 declarations
- FinalState.lean 27 declarations
- FinishedWitness.lean 19 declarations
- FiniteFamily.lean 34 declarations
- InitialChoice.lean 7 declarations
- InitialEntropy.lean 23 declarations
- InitialExact.lean 8 declarations
- InitialFamily.lean 16 declarations
- InitialGibbs.lean 18 declarations
- InitialHash.lean 14 declarations
- InitialHistories.lean 7 declarations
- InitialLeafRates.lean 19 declarations
- InitialOrbit.lean 6 declarations
- InitialSource.lean 9 declarations
- InitialState.lean 11 declarations
- InitialStep.lean 13 declarations
- InitialZeroFinish.lean 27 declarations
- NativeCapacity.lean 29 declarations
- NativeGroupedRates.lean 16 declarations
- NativeLaws.lean 18 declarations
- OrderedLimits.lean 3 declarations
- PairConditionalEntropy.lean 7 declarations
- PairMarginals.lean 13 declarations
- PopulationCounts.lean 20 declarations
- RateLimit.lean 14 declarations
- ScheduledPositivity.lean 5 declarations
- ScheduledYield.lean 21 declarations
- ShapeEncoding.lean 47 declarations
- Source.lean 12 declarations
- SourceRates.lean 5 declarations
- StageCCapacity.lean 12 declarations
- StageCFinish.lean 35 declarations
- StageCGibbs.lean 12 declarations
- StageCLaw.lean 30 declarations
- StageCRegroup.lean 12 declarations
- StageCTerminalRates.lean 9 declarations
- Terminal.lean 7 declarations
- TerminalPopulations.lean 24 declarations
- TerminalRateFormulas.lean 15 declarations
- TerminalRates.lean 30 declarations
- TerminalStatisticLaws.lean 26 declarations
- Witness.lean 5 declarations
- ZeroFinish.lean 26 declarations
- ZeroHistorySums.lean 12 declarations
- ZeroLeafRateFormula.lean 1 declarations
- ZeroLeafRates.lean 10 declarations
- ZeroWords.lean 10 declarations