Theorem GaloisInsertion.l_inf_u

Modification history