Theorem Cardinal.mk_finsupp_of_infinite'

Modification history