Theorem GaloisCoinsertion.isLUB_of_l_image

Modification history