OAI/Combinatorics/Ryser/Incidence/ScalarCoverGeometry.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.RyserCoveringCounterexample.Incidence.scalar_cover_neg_mem_diff line 14
2. theorem OAI.RyserCoveringCounterexample.Incidence.scalar_cover_add_subset line 20
3. theorem OAI.RyserCoveringCounterexample.Incidence.scalar_cover_sub_subset line 46
4. theorem OAI.RyserCoveringCounterexample.Incidence.scalar_cover_neg_subset line 73
5. theorem OAI.RyserCoveringCounterexample.Incidence.scalar_cover_mul_subset line 91
6. theorem OAI.RyserCoveringCounterexample.Incidence.scalar_cover_inv_sub_identity line 127