Theorem SimpleGraph.Copy.comp_apply

Modification history