Def CategoryTheory.Equivalence.sheafCongr.counitIso

Modification history

2024-02-14 17:45

Mathlib/CategoryTheory/Sites/Equivalence.lean

feat(CategoryTheory/Sites): add a left version of `sheafCongr` (#10423)

Modified CategoryTheory.Equivalence.sheafCongr.counitIso View on Github →

2024-01-13 15:06

Mathlib/CategoryTheory/Sites/Equivalence.lean

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

Added CategoryTheory.Equivalence.sheafCongr.counitIso View on Github →