OAI/LinearAlgebra/MatrixMultiplication/Recovery/
285 declarations, 0 contain sorry, 0 declared as axioms; 25 files
Files
- EquivOrbitTransport.lean 7 declarations
- ExactRecovery.lean 7 declarations
- FiniteSchedule.lean 15 declarations
- GroupOrbitProjection.lean 25 declarations
- HistorySupport.lean 7 declarations
- HistorySymmetry.lean 11 declarations
- InheritedMaskAction.lean 20 declarations
- InheritedMaskConcentration.lean 24 declarations
- InheritedMaskMargins.lean 17 declarations
- InheritedMaskOrbitFilter.lean 8 declarations
- InheritedMasks.lean 18 declarations
- InheritedOrbitProfiles.lean 11 declarations
- InheritedStatisticWindows.lean 8 declarations
- InverseLinearRecovery.lean 5 declarations
- OrbitCounting.lean 7 declarations
- OrbitLoss.lean 3 declarations
- OrbitRecovery.lean 5 declarations
- PermutationIndicatorMoments.lean 12 declarations
- PermutationMatchingHalves.lean 10 declarations
- PermutationMatchingMoments.lean 8 declarations
- PhysicalOrders.lean 13 declarations
- RecoveryGrowth.lean 14 declarations
- RecoveryOrbitDecisions.lean 3 declarations
- RecoverySupport.lean 9 declarations
- Staggering.lean 18 declarations