OAI/LinearAlgebra/MatrixMultiplication/FieldGroups/
294 declarations, 0 contain sorry, 0 declared as axioms; 29 files
Files
- AdmissibilityCore.lean 5 declarations
- Admissible.lean 2 declarations
- AmbientDegree.lean 9 declarations
- AssignmentCore.lean 4 declarations
- AssignmentLoss.lean 1 declarations
- AssignmentRetention.lean 4 declarations
- Assignments.lean 2 declarations
- BranchDesignation.lean 4 declarations
- BranchLaws.lean 6 declarations
- Compatibility.lean 4 declarations
- CompatibilityTransfer.lean 9 declarations
- CountRate.lean 6 declarations
- DegreeEnvelope.lean 8 declarations
- DegreeLaws.lean 10 declarations
- Degrees.lean 16 declarations
- NativeDegreeBound.lean 4 declarations
- NativeLaws.lean 41 declarations
- OrbitCount.lean 15 declarations
- OrbitData.lean 45 declarations
- OrbitTransport.lean 5 declarations
- PairEntropy.lean 12 declarations
- PairWindows.lean 29 declarations
- ProjectedEntropy.lean 14 declarations
- Selection.lean 2 declarations
- SelectionCore.lean 4 declarations
- SelectionParameters.lean 11 declarations
- SourceSupport.lean 5 declarations
- StatisticComplement.lean 1 declarations
- TargetRate.lean 16 declarations