Theorem SimpleGraph.degree_pos_iff_nonempty

Modification history

2026-01-24 00:25
Mathlib/Combinatorics/SimpleGraph/Finite.lean
refactor(SimpleGraph/Finite): turn `edgeFinset` into a `def` (#28821) …
Added SimpleGraph.degree_pos_iff_nonemptyView on Github →