Theorem Ordinal.nfp_le_fp

Modification history