Theorem not_isMax_iff

Modification history