Theorem WithTop.supr_coe_eq_top

Modification history