mathlib

829c1a50 - chore(group_theory/coset): rename lemmas to follow naming conventions (#5998)

chore(group_theory/coset): rename lemmas to follow naming conventions (#5998) Rename `normal_of_eq_cosets` and `eq_cosets_of_normal` to follow naming conventions. Conclusion should be stated before the `of`.