Commit 2026-01-14 14:01 6b403e3a
View on Github →chore(CategoryTheory/MorphismProperty): improve def-eqs and add missing MorphismProperty.Over.map isomorphisms (#33931)
We replace some eqToIsos by constructions with more API and make composition isomorphisms more flexible by replacing f ≫ g with an arbitrary prop-eq one.
From Pi1.