Theorem SimpleGraph.map_adj'

Modification history

2026-03-05 12:34
Mathlib/Combinatorics/SimpleGraph/Maps.lean
feat(Combinatorics/SimpleGraphs): generalize SimpleGraph.map to any function (#36130) …
Added SimpleGraph.map_adj'View on Github →