Theorem GaloisCoinsertion.u_sup_l

Modification history