Theorem Ordinal.bsup_zero

Modification history