Theorem CategoryTheory.OverPresheafAux.OverArrows.yonedaCollectionPresheafToA_val_fst

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.yonedaCollectionPresheafToA_val_fstView on Github →