Theorem is_max_to_dual_iff

Modification history