Theorem WithTop.map₂_coe_coe

Modification history