Theorem Ordinal.add_le_add_iff_right

Modification history