Theorem Ordinal.deriv_zero

Modification history