Commit 2021-02-01 19:15 829c1a50
View on Github →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.