Theorem Interval.bot_ne_pure

Modification history