mathlib
bada07ee - feat(algebra/category): forgetful functors from modules reflect limits (#15095)

Commit

3 years ago

feat(algebra/category): forgetful functors from modules reflect limits (#15095)

Author

TwoFX

TwoFX

Parents

Loading