Theorem SimpleGraph.Iso.card_eq

Modification history

2024-01-24 02:24
Mathlib/Combinatorics/SimpleGraph/Maps.lean
feat: transfer of graph properties over maps (#9708) …
Added SimpleGraph.Iso.card_eqView on Github →