Theorem CategoryTheory.Abelian.SpectralObject.mono_map

Modification history

2026-10-31 22:39
Mathlib/Algebra/Homology/SpectralObject/EpiMono.lean
chore: remove straightforward redundant theorem hypotheses (#45526) …
Modified CategoryTheory.Abelian.SpectralObject.mono_mapView on Github →
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.mono_mapView on Github →