Theorem toDual_max

Modification history