Theorem Prefunctor.congr_map

Modification history

2024-04-24 19:18

Mathlib/Combinatorics/Quiver/Basic.lean

feat(CategoryTheory/EqToHom): generalize Functor.congr_map to Prefunctor.congr_map (#12384)

Added Prefunctor.congr_map View on Github →