Theorem toDual_inf

Modification history