mathlib3
1eb1aff5 - feat(category_theory): functors preserving exactness are left and right exact (#15900)

Commit

3 years ago

feat(category_theory): functors preserving exactness are left and right exact (#15900) This is the inverse statement to #14581.

Author

javra

Parents