Theorem Ordinal.lt_limit

Modification history