Theorem Function.graph_injective

Modification history