OAI/Probability/MatroidProphet/Residual/LabeledFamily.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.MatroidProphet.groupLabel line 9
2. lemma OAI.MatroidProphet.groupLabel_mem line 11
3. lemma OAI.MatroidProphet.exists_groupLabel line 16
4. def OAI.MatroidProphet.labeledResidualFamily line 22
5. lemma OAI.MatroidProphet.labeledResidualFamily_subsets line 27
6. lemma OAI.MatroidProphet.labeledResidualFamily_card line 35
7. def OAI.MatroidProphet.nominalResidualSet line 47
8. lemma OAI.MatroidProphet.nominalResidualSet_subset line 54
9. lemma OAI.MatroidProphet.nominalResidualSet_eq_labeled line 63