Theorem Ordinal.principal_iff_principal_swap

Modification history