mathlib3

05101c3d - feat(algebra/group/commute): `div` lemmas (#18607)

feat(algebra/group/commute): `div` lemmas (#18607) `commute` analogs of existing lemmas. Also normalise lemma names about `commute` and `nat.cast`/`int.cast`, following existing `int.cast` lemmas.