Theorem Ordinal.lt_nfpFamily_iff

Modification history