feat(category_theory): functors preserving exactness are left and right exact (#15900)
feat(category_theory): functors preserving exactness are left and right exact (#15900)

This is the inverse statement to #14581.



leanprover-community/mathlib,leanprover-community/mathlib