Theorem GaloisCoinsertion.u_l_leftInverse

Modification history