Theorem NonemptyInterval.coe_eq_pure

Modification history