Theorem Ordinal.principal_mul_omega0

Modification history