Theorem GaloisInsertion.l_infₛ_u_image

Modification history