OAI/Combinatorics/SharpRamsey/Selection/TableCompositions.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SharpLogRamsey.PublicTables.integral_on_mono line 13
2. lemma OAI.SharpLogRamsey.PublicTables.integral_const line 24
3. lemma OAI.SharpLogRamsey.PublicTables.integral_sub line 34
4. lemma OAI.SharpLogRamsey.PublicTables.integral_one_nonneg line 42
5. lemma OAI.SharpLogRamsey.PublicTables.integral_one_le line 50
6. theorem OAI.SharpLogRamsey.PublicTables.integral_bounded line 62
7. theorem OAI.SharpLogRamsey.PublicTables.two_stage_failure line 68