Theorem WithBot.map₂_coe_right

Modification history