lint(group_theory/eckmann_hilton): docs, module docs, unused argument (#4459)
lint(group_theory/eckmann_hilton): docs, module docs, unused argument (#4459)





leanprover-community/mathlib,leanprover-community/mathlib