Theorem Ordinal.sup_eq_bsup'

Modification history