Theorem CategoryTheory.SheafOfTypes.Hom.ext'

Modification history

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 →