Theorem Ordinal.nfpFamily_lt_ord_lift

Modification history