Theorem Cardinal.derivFamily_lt_ord_lift

Modification history