mathlib3
beb2cc98 - feat(algebra/category): subobjects in the category of R-modules (#6842)

Commit

4 years ago

feat(algebra/category): subobjects in the category of R-modules (#6842) Co-authored-by: Scott Morrison <scott.morrison@gmail.com>

Author

TwoFX

Parents