Theorem Ordinal.deriv_zero_right

Modification history