Theorem Ordinal.nfpBFamily_lt_ord

Modification history