Theorem isTop_iff_isMax

Modification history