Theorem is_min_of_dual_iff

Modification history