Theorem Ordinal.deriv_eq_enumOrd

Modification history