Theorem NonemptyInterval.coe_pure

Modification history