Theorem isCoatom_iff

Modification history