Theorem Ordinal.mul_omega0_dvd

Modification history