Theorem Interval.mem_pure

Modification history