OAI/Combinatorics/Ramsey/CycleClique/Construction/FourCycleResidual.lean
1 declarations, 0 contain sorry, 0 declared as axioms
A residual vertex sees all of at least two triangle exterior classes.
- theorem
OAI.CycleClique.Construction.fourCycle_residual_sees_twoline 9