homology): Adds API for homology mimicking that of (co)kernels. (#12171)

Commit

3 years ago

feat(category_theory/abelian/homology): Adds API for homology mimicking that of (co)kernels. (#12171)

Author

adamtopaz

Parents