feat(data/finset) remove unnecessary assumption from card_eq_succ (#772)
feat(data/finset) remove unnecessary assumption from card_eq_succ (#772)


leanprover-community/mathlib,leanprover-community/mathlib