Theorem Ordinal.unbounded_principal

Modification history