Theorem Ordinal.mul_omega0

Modification history