Theorem Ordinal.deriv_limit

Modification history