OAI/LinearAlgebra/MatrixFields/Histories/
1089 declarations, 0 contain sorry, 0 declared as axioms; 17 files
Files
- CWShapePhysicalPermutation.lean 21 declarations
- GroupOrbitCount.lean 119 declarations
- GroupOrbitTransport.lean 63 declarations
- HistoryChildLaws.lean 245 declarations
- HistoryGroupCore.lean 89 declarations
- HistoryIteration.lean 84 declarations
- HistoryPositions.lean 63 declarations
- HistoryRecovery.lean 48 declarations
- HistoryRecoveryBudget.lean 104 declarations
- HistorySourceAssignment.lean 40 declarations
- HistorySums.lean 20 declarations
- InheritedMaskMargins.lean 108 declarations
- InitialOrbit.lean 6 declarations
- InverseLinearRecovery.lean 38 declarations
- JointScalarOrbitAdmissibility.lean 3 declarations
- ScheduledPositivity.lean 26 declarations
- ZeroHistorySums.lean 12 declarations