Theorem SimpleGraph.induceHom_injective

Modification history