Def SimpleGraph.overFin

Modification history

2026-06-02 20:46

Mathlib/Combinatorics/SimpleGraph/Maps.lean

chore(Combinatorics/SimpleGraph): tidy various files (#37642)

Deleted SimpleGraph.overFin View on Github →

2024-01-24 02:24

Mathlib/Combinatorics/SimpleGraph/Maps.lean

feat: transfer of graph properties over maps (#9708) …

Added SimpleGraph.overFin View on Github →