Theorem GaloisCoinsertion.isGLB_of_l_image

Modification history