Commit 2023-06-02 04:07 b69f9d15

View on Github →

chore: cleanup in PresheafedSpace (#4558)

Estimated changes

Modified Mathlib/AlgebraicGeometry/PresheafedSpace.lean

Modified Mathlib/CategoryTheory/Functor/Category.lean

Modified Mathlib/CategoryTheory/NatTrans.lean

Modified Mathlib/Combinatorics/Quiver/Basic.lean

added theorem Prefunctor.mk_map

added theorem Prefunctor.mk_obj

Modified Mathlib/Data/Opposite.lean