Def alg_equiv.of_left_inverse

Modification history