Commit 2023-07-29 15:51 b017d099
View on Github →feat: CategoryTheory/Sites/CoverLifting -- compatibility between sheafification and pullback (#6009) I'll close https://github.com/leanprover-community/mathlib/pull/14512 once this is merged.
feat: CategoryTheory/Sites/CoverLifting -- compatibility between sheafification and pullback (#6009) I'll close https://github.com/leanprover-community/mathlib/pull/14512 once this is merged.