mathlib3

09d74faa - feat(ring_theory/class_group): add class_group.mk_eq_mk (#18034)