Theorem Ordinal.apply_lt_nfpFamily_iff

Modification history