Theorem Ordinal.deriv_add_eq_mul_omega0_add

Modification history