Theorem Interval.dual_map

Modification history