Commit 2024-05-16 13:17 8079a741

View on Github →

chore: generalize Prefunctor lemmas (#12951) Mysteriously these lemmas were specialized to the case the source and target quiver were the same.

Estimated changes

modified theorem Prefunctor.mk_map
modified theorem Prefunctor.mk_obj