mathlib
e919421b - feat(category_theory): functors preserving epis and kernels are exact (#16129)

Commit

3 years ago

feat(category_theory): functors preserving epis and kernels are exact (#16129)

Author

javra

javra

Parents

Loading