Theorem Cardinal.mk_finsupp_lift_of_fintype

Modification history