Theorem SimpleGraph.support_of_subsingleton

Modification history

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