Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Commit
2020-10-06 12:41
2fc65980
View on Github →
lint(group_theory/eckmann_hilton): docs, module docs, unused argument (
#4459
)
Estimated changes
Modified
src/group_theory/eckmann_hilton.lean
modified
def
eckmann_hilton.comm_group