Theorem Ordinal.sup_eq_supₛ

Modification history