Theorem Ordinal.bsup_succ_eq_blsub

Modification history