Theorem GaloisInsertion.isAtom_iff

Modification history