Theorem imageToKernel_arrow_apply

Modification history

2025-08-18 05:45
Mathlib/Algebra/Homology/ImageToKernel.lean
chore(*): process `elementwise` porting notes (#28403) …
Deleted imageToKernel_arrow_applyView on Github →
2025-02-12 15:26
Mathlib/Algebra/Homology/ImageToKernel.lean
refactor(*): get rid of `(forget _).obj` and `(forget _).map` (#21727) …
Modified imageToKernel_arrow_applyView on Github →
2025-01-17 14:00
Mathlib/Algebra/Homology/ImageToKernel.lean
chore(CategoryTheory): rename `ConcreteCategory` to `HasForget` (#20809) …
Modified imageToKernel_arrow_applyView on Github →
2023-06-14 07:51
Mathlib/Algebra/Homology/ImageToKernel.lean
feat: port Algebra.Homology.Module (#5000)
Added imageToKernel_arrow_applyView on Github →