Def CategoryTheory.MorphismProperty.Over.mapId

Modification history

2026-01-14 14:01

Mathlib/CategoryTheory/MorphismProperty/OverAdjunction.lean

chore(CategoryTheory/MorphismProperty): improve def-eqs and add missing `MorphismProperty.Over.map` isomorphisms (#33931) …

Added CategoryTheory.MorphismProperty.Over.mapId View on Github →