Theorem IsCoatom.isMaximal

Modification history