mathlib3
90e265ea - feat(algebra/category): the category of R-modules is well-powered (#7002)

Commit

4 years ago

feat(algebra/category): the category of R-modules is well-powered (#7002)

Author

TwoFX

TwoFX

Parents

Loading