Theorem isMinOn_iff

Modification history