mathlib3

44559a8f - Merge branch 'eric-wieser/replace_conj_with_star' of github.com:leanprover-community/mathlib into eric-wieser/replace_conj_with_star