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.mapCongr