Def TopModuleCat.cokerπ

Modification history

2026-09-22 14:39
Mathlib/Algebra/Category/ModuleCat/Topology/Homology.lean
chore: remove redundant `<|` (#44067) …
Modified TopModuleCat.cokerπView on Github →
2025-05-19 05:18
Mathlib/Algebra/Category/ModuleCat/Topology/Homology.lean
feat: `TopModuleCat` is a `CategoryWithHomology` (#24976) …
Added TopModuleCat.cokerπView on Github →