Theorem GaloisInsertion.isCoatom_iff

Modification history