Theorem Prefunctor.congr_map

Modification history

2024-11-28 16:12

Mathlib/Combinatorics/Quiver/Basic.lean

chore: split Prefunctor out of Quiver (#19525)

Modified Prefunctor.congr_map View on Github →

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 →