mathlib3

eb9164bd - feat(category_theory/sites): naming and attributes (#5340)

feat(category_theory/sites): naming and attributes (#5340) Adds simps projections for sieve arrows and makes the names consistent (some used `mem_` and others used `_apply`, now they only use the latter).