Theorem Function.LeftInverse.eq_RightInverse

Modification history