mathlib3
feat(algebra/pi_instances): product of submonoids/groups/rings
#1066
Merged
Merged