Theorem Ordinal.foldr_le_nfpBFamily

Modification history