Theorem Ordinal.apply_le_nfpFamily

Modification history