Theorem Prefunctor.mk_obj

Modification history

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 →