Theorem GaloisInsertion.l_iInf_of_ul_eq_self

Modification history