Theorem isMinOn_dual_iff

Modification history