Theorem CategoryTheory.Split.map

Modification history

2023-12-21 16:16
Mathlib/Algebra/Homology/ShortExact/Preadditive.lean
refactor: use the new homology API for the four and the five lemmas (#9022) …
Deleted CategoryTheory.Split.mapView on Github →
2023-08-10 19:52
Mathlib/Algebra/Homology/ShortExact/Preadditive.lean
chore: banish `Type _` and `Sort _` (#6499) …
Modified CategoryTheory.Split.mapView on Github →
2023-04-24 12:12
Mathlib/Algebra/Homology/ShortExact/Preadditive.lean
feat: port Algebra.Homology.ShortExact.Preadditive (#3611)
Added CategoryTheory.Split.mapView on Github →