Theorem Ordinal.add_right_cancel

Modification history