Theorem NonemptyInterval.coe_sup_interval

Modification history