Theorem Ordinal.bsup_one

Modification history