Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2023-05-18 17:57 74403a3b

View on Github →

chore(algebra/category/Module/monoidal): split file (#19034)

Estimated changes