Theorem Function.RightInverse_inv_fun

Modification history