Theorem SimpleGraph.induceHom_id

Modification history