Theorem Cardinal.lsub_lt_ord_of_isRegular

Modification history