Theorem CategoryTheory.Functor.preservesMonomorphisms_of_map_exact

Modification history

2023-05-01 17:47
Mathlib/CategoryTheory/Abelian/Exact.lean
feat: port CategoryTheory.Abelian.Exact (#3638)
Added CategoryTheory.Functor.preservesMonomorphisms_of_map_exactView on Github →