Theorem Ordinal.lt_nfp_iff

Modification history