mathlib3
chore(data/set/finite): move defns up hierarchy; rename fintype_of_finset, card_fintype_of_finset
#1615
Merged
Merged