Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-02-26 07:13 aafa5fe4

View on Github →

feat(ring_theory/flat): definition of flat module (#6284)

Estimated changes

added def module.flat