`OAI/Combinatorics/SharpRamsey/Windows/PopulationSublist.lean`

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

lemma OAI.SharpLogRamsey.Selection.Windows.finProd_position line 12
def OAI.SharpLogRamsey.Selection.Windows.flattenTuple line 16
theorem OAI.SharpLogRamsey.Selection.Windows.goodPopulation_sublist line 25