Theorem GaloisCoinsertion.isAtom_of_image

Modification history