mathlib

9ba9a983 - chore(category_theory/sites): improve naming (#5350)

chore(category_theory/sites): improve naming (#5350) - Improve naming of some lemmas to be more descriptive - Golf some proofs - Add some convenience deconstructors which are useful in practice