Theorem SimpleGraph.support_top_of_nontrivial

Modification history

2026-01-13 16:45
Mathlib/Combinatorics/SimpleGraph/Basic.lean
feat(GraphTheory): supports of top and bot graphs (#33856)
Added SimpleGraph.support_top_of_nontrivialView on Github →