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