Theorem Ordinal.lt_opow_of_limit

Modification history