Mathlib Changelog
v4
Changelog
About
Github
Def
SimpleGraph.overFin
Modification history
2024-01-24 02:24
Mathlib/Combinatorics/SimpleGraph/Maps.lean
feat: transfer of graph properties over maps (#9708) …
Added
SimpleGraph.overFin
View on Github →