Theorem SimpleGraph.card_edgeFinset_map

Modification history

2025-08-25 23:08
Mathlib/Combinatorics/SimpleGraph/Finite.lean
feat(Combinatorics/SimpleGraph): `card_edgeFinset_map` (#28446)
Added SimpleGraph.card_edgeFinset_mapView on Github →