Theorem Cardinal.sup_lt_ord_of_isRegular

Modification history