Theorem WithBot.map₂_bot_left

Modification history