Def SimpleGraph.Hom.ofLE

Modification history

2024-01-22 18:51
Mathlib/Combinatorics/SimpleGraph/Maps.lean
chore: tidy various files (#9903)
Added SimpleGraph.Hom.ofLEView on Github →