Theorem Function.LeftInverse_inv_fun

Modification history