Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2019-12-19 06:24 e8754920

View on Github →

chore(algebra/module) remove an unneeded commutativity assumption (#1813)

Estimated changes