Theorem SimpleGraph.Iso.card_edgeFinset_eq

Modification history

2025-08-25 23:08
Mathlib/Combinatorics/SimpleGraph/Finite.lean
feat(Combinatorics/SimpleGraph): `card_edgeFinset_map` (#28446)
Modified SimpleGraph.Iso.card_edgeFinset_eqView on Github →
2024-04-01 16:53
Mathlib/Combinatorics/SimpleGraph/Maps.lean
refactor: move `SimpleGraph.Iso.card_edgeFinset_eq` to untangle imports (#11817) …
Modified SimpleGraph.Iso.card_edgeFinset_eqView on Github →
2024-01-24 02:24
Mathlib/Combinatorics/SimpleGraph/Maps.lean
feat: transfer of graph properties over maps (#9708) …
Added SimpleGraph.Iso.card_edgeFinset_eqView on Github →