Theorem SimpleGraph.Copy.coe_comp

Modification history