`OAI/Probability/MatroidSecretary/Pivots/PatternFamilySpecificationProof.lean`

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

theorem OAI.MatroidProphet.MainAlgorithm.pattern_family_claim line 9
Source documentation
Thin packaging of the complete, already proved all-witness family theorem.
```
theorem pattern_family_claim : PatternFamilyClaim := by
…
```
Mentions: OAI.MatroidProphet.PatternFamilyClaim