feat(CategoryTheory/Sites): descent data when we have pullbacks#35396

joelriou wants to merge 3 commits intoleanprover-community:masterleanprover-community/mathlib4:masterfrom

joelriou:descent-data-primejoelriou/mathlib4:descent-data-primeCopy head branch name to clipboard