Theorem WithTop.supr_coe_lt_top

Modification history