Theorem Function.left_inverse.eq_right_inverse

Modification history