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.

Estimated changes