Theorem Function.partial_inv_of_injective

Modification history