Theorem Prefunctor.mk_obj

Modification history

2024-11-28 16:12
Mathlib/Combinatorics/Quiver/Basic.lean
chore: split Prefunctor out of Quiver (#19525)
Modified Prefunctor.mk_objView on Github →
2024-05-16 13:17
Mathlib/Combinatorics/Quiver/Basic.lean
chore: generalize Prefunctor lemmas (#12951) …
Modified Prefunctor.mk_objView on Github →
2024-04-14 10:41
Mathlib/Combinatorics/Quiver/Basic.lean
chore: remove autoImplicit from more files (#11798) …
Modified Prefunctor.mk_objView on Github →
2023-06-02 04:07
Mathlib/Combinatorics/Quiver/Basic.lean
chore: cleanup in PresheafedSpace (#4558)
Added Prefunctor.mk_objView on Github →