Theorem SimpleGraph.Hom.coe_ofLE

Modification history

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