OAI/LinearAlgebra/MatrixMultiplication/FieldHistory/
653 declarations, 0 contain sorry, 0 declared as axioms; 38 files
Files
- Bounds.lean 13 declarations
- BranchWeights.lean 5 declarations
- ChildLaws.lean 38 declarations
- Counts.lean 27 declarations
- Geometry.lean 14 declarations
- GroupAssignment.lean 22 declarations
- GroupCore.lean 5 declarations
- GroupMasks.lean 17 declarations
- GroupedRecovery.lean 11 declarations
- IncomingCore.lean 4 declarations
- IncomingMasks.lean 18 declarations
- Iteration.lean 12 declarations
- MaskCore.lean 22 declarations
- MaskLaws.lean 8 declarations
- Masks.lean 8 declarations
- OrbitCount.lean 17 declarations
- Populations.lean 70 declarations
- Positions.lean 14 declarations
- Priority.lean 36 declarations
- Produced.lean 7 declarations
- ProducedBase.lean 31 declarations
- ProducedMaskCore.lean 13 declarations
- ProducedMasks.lean 1 declarations
- RawMasks.lean 8 declarations
- Recovery.lean 24 declarations
- RecoveryBudget.lean 4 declarations
- RecoveryCore.lean 17 declarations
- Regrouping.lean 25 declarations
- Schedule.lean 28 declarations
- Source.lean 16 declarations
- SourceAssignment.lean 1 declarations
- StageCIncoming.lean 5 declarations
- Sums.lean 20 declarations
- Support.lean 33 declarations
- Tensors.lean 19 declarations
- Tick.lean 20 declarations
- TickCarry.lean 4 declarations
- Transitions.lean 16 declarations