Theorem Interval.disjoint_coe

Modification history