Theorem CategoryTheory.SheafOfTypes.Hom.ext'

Modification history

2024-11-26 23:14

Mathlib/CategoryTheory/Sites/SheafOfTypes.lean

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

Deleted CategoryTheory.SheafOfTypes.Hom.ext'View on Github →

2023-04-10 18:31

Mathlib/CategoryTheory/Sites/SheafOfTypes.lean

chore: forward port of #18742, no simps lemmas for Category.Hom (#3340) …

Added CategoryTheory.SheafOfTypes.Hom.ext'View on Github →