Theorem Ordinal.deriv_mul_zero

Modification history