Theorem GaloisInsertion.l_infᵢ_u

Modification history