Theorem WithBot.add_right_cancel_iff

Modification history