Theorem Cardinal.deriv_lt_ord

Modification history