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

Commit

4 years ago

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

Author

jcommelin

jcommelin

Parents

Loading