Theorem SimpleGraph.support_bot

Modification history

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