mathlib

ed55502f - doc(algebraic_geometry/is_open_comap_C): add reference to Stacks project (#6322)

doc(algebraic_geometry/is_open_comap_C): add reference to Stacks project (#6322) Updated the doc-strings to reference the Stacks project. Zulip chat: https://leanprover.zulipchat.com/#narrow/stream/113488-general/topic/stacks.20tags