Theorem GaloisInsertion.isAtom_iff'

Modification history