OAI/Combinatorics/SharpRamsey/Learning/PreparationInvariance.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SharpLogRamsey.GreedyPreparation.own_inter_right line 13
2. lemma OAI.SharpLogRamsey.GreedyPreparation.own_removed line 23
3. lemma OAI.SharpLogRamsey.GreedyPreparation.residual_inter line 31
4. lemma OAI.SharpLogRamsey.GreedyPreparation.indexedCell_inter line 36
5. lemma OAI.SharpLogRamsey.GreedyPreparation.indexedCell_removed line 41