Theorem Interval.dual_pure

Modification history