Theorem Ordinal.lt_add_of_limit

Modification history