abelian): exact_comp_mono_iff (#14410)

Commit

3 years ago

feat(algebra/homology,category_theory/abelian): exact_comp_mono_iff (#14410) From LTE.

Author

TwoFX

Parents