Theorem Function.right_inverse.injective

Modification history