Theorem WithBot.map₂_coe_left

Modification history