mathlib3

94625350 - feat(algebraic_geometry): Qcqs lemma (#15996)

feat(algebraic_geometry): Qcqs lemma (#15996) Co-authored-by: Andrew Yang <36414270+erdOne@users.noreply.github.com> Co-authored-by: Joël Riou <joel.riou@universite-paris-saclay.fr>