mathlib3

cd38923e - docs(algebraic_geometry/prime_spectrum): linkify url in module docs (#2288)