OAI/Probability/MatroidProphet/Residual/Statistics.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.MatroidProphet.nominalLayerSet line 11
2. def OAI.MatroidProphet.nominalRankStatistic line 17
3. def OAI.MatroidProphet.safeLayerSet line 23
4. def OAI.MatroidProphet.safeLayerStatistic line 30
5. def OAI.MatroidProphet.boolParity line 34
6. lemma OAI.MatroidProphet.boolParity_val line 36
7. lemma OAI.MatroidProphet.nominalLayerSet_subset line 39
8. lemma OAI.MatroidProphet.nominalLayerSet_disjoint line 44