Theorem SimpleGraph.nonempty_hom_of_forall_finite_subgraph_hom

Modification history

2023-05-17 12:51
Mathlib/Combinatorics/SimpleGraph/Finsubgraph.lean
feat: port Combinatorics.SimpleGraph.Finsubgraph (#4010)
Added SimpleGraph.nonempty_hom_of_forall_finite_subgraph_homView on Github →