Theorem toDual_sup

Modification history