Theorem WithOne.map₂_bot_right

Modification history