Theorem CategoryTheory.Abelian.SpectralObject.d_map_fourδ₄Toδ₃

Modification history

2026-03-12 17:39

Mathlib/Algebra/Homology/SpectralObject/EpiMono.lean

feat(Algebra/Homology/SpectralObject): induced morphisms that are epi/mono (#36153)

Added CategoryTheory.Abelian.SpectralObject.d_map_fourδ₄Toδ₃ View on Github →