Theorem Function.left_inverse.right_inverse

Modification history