Theorem SimpleGraph.Copy.toHom_apply

Modification history