mathlib3

c1fece37 - fix(tactic/refine_struct): accept synonyms for `structure` types (#3828)