Theorem Function.graph_comp

Modification history