Def CategoryTheory.OverPresheafAux.OverArrows.yonedaArrow

Modification history

2024-02-13 09:59

Mathlib/CategoryTheory/Comma/Presheaf.lean

feat: computation of `Over A` for a presheaf `A` (#10245)

Added CategoryTheory.OverPresheafAux.OverArrows.yonedaArrow View on Github →