Theorem GaloisInsertion.l_sup_u

Modification history