Theorem Ordinal.deriv_zero_left

Modification history