Theorem WithTop.coe_strictMono

Modification history