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

Merged

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

mergify merged 1 commit into master from jcommelin-patch-1

docs(algebraic_geometry/prime_spectrum): linkify url in module docs

f45fcb69

bryangingechen approved these changes on 2020-03-30

bryangingechen added ready-to-merge

mergify merged cd38923e into master 5 years ago

robertylewis deleted the jcommelin-patch-1 branch 5 years ago

Reviewers

bryangingechen

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone