OAI/Probability/MatroidSecretary/Labels/
104 declarations, 0 contain sorry, 0 declared as axioms; 13 files
Files
- FiniteLabelAgreement.lean 4 declarations
- FiniteLabelTransport.lean 13 declarations
- FiniteLabelingModel.lean 10 declarations
- LabeledHiddenModel.lean 5 declarations
- LabeledHiddenVector.lean 8 declarations
- LabeledOneSample.lean 3 declarations
- LabeledTransport.lean 21 declarations
- LabeledTransportOneSample.lean 2 declarations
- RelabelingCompatibility.lean 4 declarations
- RelabelingModel.lean 10 declarations
- RelabelingProbability.lean 5 declarations
- RelabelingProphet.lean 1 declarations
- RelabelingTheorems.lean 18 declarations