Commit 2023-10-23 23:48 1391538c

chore: split `CategoryTheory/Sites/SheafOfTypes (#7854) I was planning to add some stuff to this file which was already over 1000 lines long.

• The explicit sheaf condition for a sieve/presieve IsSheafFor is now in CategoryTheory/Sites/IsSheafFor.
• The sheaf condition for a sieve/presieve in terms of equalizer diagrams is now in CategoryTheory/Sites/EqualizerSheafCondition
• Only things related to IsSheaf/IsSeparated are left in the file CategoryTheory/Sites/SheafOfTypes.