Theorem GaloisCoinsertion.u_supₛ_l_image

Modification history