Theorem Ordinal.lt_bsup

Modification history