Theorem Ordinal.bsup_succ_of_mono

Modification history