Theorem Ordinal.nfpBFamily_le_apply

Modification history