Theorem isMaxOn_iff

Modification history