Theorem Ordinal.bsup_id_limit

Modification history