Theorem Ordinal.nfp_le_of_principal

Modification history