Theorem GaloisInsertion.l_sSup_u_image

Modification history