Theorem GaloisInsertion.l_infᵢ_of_ul_eq_self

Modification history