Theorem Ordinal.foldr_le_nfpFamily

Modification history