Def CategoryTheory.Equivalence.transportAndSheafify

Modification history

2024-01-13 15:06

Mathlib/CategoryTheory/Sites/Equivalence.lean

feat(CategoryTheory): sheafification over essentially small sites (#9523) …

Added CategoryTheory.Equivalence.transportAndSheafify View on Github →