Theorem WithTop.add_right_cancel

Modification history