Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-03-04 08:56 82a142d1

View on Github →

feat(algebra/category): Module R is monoidal closed for comm_ring R (#12387)

Estimated changes