Theorem Ordinal.deriv_mul_eq_opow_omega0_mul

Modification history