OAI/Probability/ThorpCompatibility/ListIncidence.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.ThorpCompatibility.MeetsLists line 10
2. lemma OAI.ThorpCompatibility.lists_incidence_count line 13
3. lemma OAI.ThorpCompatibility.meetsLists_probability_le line 50