OAI/Probability/MatroidProphet/Pivots/
144 declarations, 0 contain sorry, 0 declared as axioms; 21 files
Files
- Arbitrary.lean 3 declarations
- Basic.lean 9 declarations
- BlockPatterns.lean 9 declarations
- Blocks.lean 13 declarations
- Completeness.lean 2 declarations
- Count.lean 2 declarations
- Encoding.lean 13 declarations
- Entropy.lean 4 declarations
- Existence.lean 3 declarations
- Greedy.lean 12 declarations
- GreedyScan.lean 5 declarations
- Guarantee.lean 2 declarations
- Interleavings.lean 8 declarations
- OccurrenceSupport.lean 6 declarations
- Patterns.lean 11 declarations
- PhasePattern.lean 5 declarations
- Phases.lean 10 declarations
- Reindex.lean 3 declarations
- ResidualFamily.lean 9 declarations
- Scores.lean 6 declarations
- Sign.lean 9 declarations