`OAI/Probability/MatroidSecretary/Selection/SafeSpecification.lean`

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

def OAI.MatroidProphet.SafeSampleClaim line 11
Source documentation
The source safety guarantee, including the literal constants, all listed groups, global independent comparison set, and the harmless unlisted zero case.
```
def SafeSampleClaim : Prop :=
…
```