Theorem Ordinal.lt_bsup_of_limit

Modification history