OAI/Combinatorics/RamseyFive/Marking/SurvivingWindowCode.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.SharpRamseyFive.Marking.WindowLevelsData line 28
2. def OAI.SharpRamseyFive.Marking.survivingLevelLaw line 31
3. def OAI.SharpRamseyFive.Marking.survivingEncoded line 33
4. def OAI.SharpRamseyFive.Marking.survivingExperiment line 40
5. def OAI.SharpRamseyFive.Marking.survivingTargetFailure line 44
6. lemma OAI.SharpRamseyFive.Marking.survivingTargetFailure_eq line 51