refactor(AlgebraicGeometry/Sites/Small): golf and remove defeqs#41542

tb65536 wants to merge 8 commits into

leanprover-community:masterleanprover-community/mathlib4:masterfrom

tb65536:tb_sieves3tb65536/mathlib4:tb_sieves3Copy head branch name to clipboard