Theorem dist_toDual

Modification history