Theorem WithTop.map₂_coe_left

Modification history