OAI/Combinatorics/Ramsey/CycleClique/Construction/MissingCoverage.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

The two targets cover a finite set when its cardinality is at most the number of those distinct targets that lie in it.

  1. theorem OAI.CycleClique.Construction.subset_pair_of_card_le_indicators line 15