Theorem Cardinal.nfpBFamily_lt_ord_of_isRegular

Modification history