Theorem Cardinal.mk_finsupp_lift_of_infinite

Modification history