Theorem TopModuleCat.kerι_comp

Modification history

2025-05-19 05:18
Mathlib/Algebra/Category/ModuleCat/Topology/Homology.lean
feat: `TopModuleCat` is a `CategoryWithHomology` (#24976) …
Added TopModuleCat.kerι_compView on Github →