mathlib

47ef6243 - fix algebra/group/prod issue