mathlib

cde44901 - move group_ring from algebra/* to group_theory/*