Theorem WithBot.map₂_bot_right

Modification history