chore(AlgebraicGeometry/Sites): use Precoverage.toGrothendieck instead of Pretopology.toGrothendieck#34995

chrisflav wants to merge 1 commit intoleanprover-community:masterleanprover-community/mathlib4:masterfrom

chrisflav:fpqc-topology-4chrisflav/mathlib4:fpqc-topology-4Copy head branch name to clipboard