Theorem Function.right_inverse.left_inverse

Modification history