Def TopModuleCat.isLimitKer

Modification history

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