Theorem Ordinal.deriv_id_of_nfp_id

Modification history