Def CategoryTheory.NormalEpi.ofArrowIso

Modification history

2026-02-09 08:58
Mathlib/CategoryTheory/Limits/Shapes/NormalMono/Basic.lean
chore(style): remove duplicate instance hypotheses (#35002) …
Modified CategoryTheory.NormalEpi.ofArrowIsoView on Github →
2026-01-29 18:03
Mathlib/CategoryTheory/Limits/Shapes/NormalMono/Basic.lean
feat(CategoryTheory): transport a NormalMono structure via an isomorphism of arrows (#34496)
Added CategoryTheory.NormalEpi.ofArrowIsoView on Github →