OAI/Combinatorics/BalancedRyser/Selection/ProfileOccupancy2.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Balanced.FiniteProfile.mem_uncoveredBy_iff line 13
2. theorem OAI.Balanced.FiniteProfile.planeProfile_zero_row_hasSum line 17
3. theorem OAI.Balanced.FiniteProfile.planeProfile_zero_column_hasSum line 32
4. theorem OAI.Balanced.FiniteProfile.lineProfile_zero_row_hasSum line 38
5. theorem OAI.Balanced.FiniteProfile.planeProfile_zero_zero_of_cover line 54
6. theorem OAI.Balanced.FiniteProfile.covered_points_card_le line 72
7. theorem OAI.Balanced.FiniteProfile.core_cover_normalized_card_le line 91