Theorem toDual_min

Modification history