Theorem Ordinal.sup_unique

Modification history