Theorem CategoryTheory.ComposableArrows.Exact.isIso_map'

Modification history

2025-12-13 14:21
Mathlib/Algebra/Homology/ExactSequence.lean
chore: use `Category*` everywhere (#32842) …
Modified CategoryTheory.ComposableArrows.Exact.isIso_map'View on Github →
2025-06-15 16:47
Mathlib/Algebra/Homology/ExactSequence.lean
feat(RingTheory/IsSMulRegular): categorical constructions for IsSMulRegular (#23935) …
Added CategoryTheory.ComposableArrows.Exact.isIso_map'View on Github →