Theorem SimpleGraph.IsTuranMaximal.not_adj_trans
Modification history
2024-07-26 09:13
Mathlib/Combinatorics/SimpleGraph/Turan.lean
chore: robustifying for debug.byAsSorry (part 9) (#15150) …
Modified SimpleGraph.IsTuranMaximal.not_adj_transView on Github →