Theorem Ordinal.supₛ_eq_bsup

Modification history