Def SimpleGraph.FinsubgraphHom.restrict

Modification history

2023-05-17 12:51

Mathlib/Combinatorics/SimpleGraph/Finsubgraph.lean

feat: port Combinatorics.SimpleGraph.Finsubgraph (#4010)

Added SimpleGraph.FinsubgraphHom.restrict View on Github →