crossref-exports

Redirects from external-database identifiers to the corresponding Mathlib documentation. The underlying data lives in crossrefs.json.

Usage

?db=<db>&id=<id>#doc redirects to the declaration's documentation page, and #src to its source location (#doc is the default).

db is one of wikidata, stacks, or kerodon; id is the identifier in that database. For example, ?db=wikidata&id=Q83478#doc.