Theorem IsCoatom.isProper

Modification history