Theorem SimpleGraph.Subgraph.hom_injective

Modification history