Theorem NonemptyInterval.mem_pure_self

Modification history