Theorem SimpleGraph.card_edgeSet

Modification history

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