Theorem Cardinal.mk_finset_of_fintype

Modification history