Def derive_fintype.finset_in.mk

Modification history