Theorem Ordinal.sup_const

Modification history