Theorem Ordinal.add_le_of_forall_add_lt

Modification history