Theorem CategoryTheory.yoneda'_comp

Modification history

2024-11-26 23:14

Mathlib/CategoryTheory/Sites/Types.lean

refactor(CategoryTheory/Sites): remove SheafOfTypes (#19510) …

Modified CategoryTheory.yoneda'_comp View on Github →

2023-06-07 06:36

Mathlib/CategoryTheory/Sites/Types.lean

feat: port CategoryTheory.Sites.Types (#4776)

Added CategoryTheory.yoneda'_comp View on Github →