Def derive_fintype.mk_fintype

Modification history