mathlib3

543bb39d - rely on finset support instead