Theorem Ordinal.nfp_le_iff

Modification history