Theorem Ordinal.sub_eq_of_add_eq

Modification history