Theorem Ordinal.principal_opow_omega0

Modification history