Theorem Ordinal.add_sub_cancel

Modification history