Theorem Ordinal.principal_iff_of_monotone

Modification history