Theorem Ordinal.lt_nfpFamily

Modification history