Theorem Function.graph_def

Modification history