Theorem SimpleGraph.edgeFinset_map

Modification history

2025-08-25 23:08

Mathlib/Combinatorics/SimpleGraph/Finite.lean

feat(Combinatorics/SimpleGraph): `card_edgeFinset_map` (#28446)

Added SimpleGraph.edgeFinset_map View on Github →