Theorem GaloisInsertion.isCoatom_of_image

Modification history