OAI/Combinatorics/SharpRamsey/Reciprocal/SourceReciprocalExposure.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SharpLogRamsey.Selection.reciprocal_conditional_supported line 16
2. lemma OAI.SharpLogRamsey.Selection.conditional_tupleFlags line 27
3. lemma OAI.SharpLogRamsey.Selection.conditional_rectangleBound line 37
4. theorem OAI.SharpLogRamsey.Selection.actual_source_reciprocal line 47