Theorem GaloisCoinsertion.u_infₛ_l_image

Modification history