OAI/Combinatorics/RamseyFive/Marking/ReverseMiss.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SharpRamseyFive.LowConflict.reverseMiss line 13
2. lemma OAI.SharpRamseyFive.LowConflict.reverseMiss_nonneg line 18
3. lemma OAI.SharpRamseyFive.LowConflict.reverseMiss_eq line 29
4. def OAI.SharpRamseyFive.LowConflict.capturedEvent line 41
5. lemma OAI.SharpRamseyFive.LowConflict.captured_orthogonal line 49
6. lemma OAI.SharpRamseyFive.LowConflict.conditional_charge line 61