OAI/Combinatorics/FiniteCircle/BitCounting.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.FiniteCircle.exists_disjoint_pair_subfamily line 11
2. theorem OAI.FiniteCircle.card_bit_equalities_le line 75
3. theorem OAI.FiniteCircle.card_matching_equalities_le line 102
4. theorem OAI.FiniteCircle.card_small_subsets_le line 117