Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-11-08 03:52 6cc39472

View on Github →

feat(algebra/category/Module): instances for modules over algebras (#13933)

Estimated changes