mathlib3

07c3cf2d - fix(algebra/star/free): speedup (#16851)