Theorem Ordinal.mul_omega

Modification history