Add backlinks Mathlib => π-Base #91
Description
Based on Zulip discussion.
We're starting to add links in to Mathlib. We'd like to also supply backlinks from Mathlib properties (&c.) back to the canonical π-Base ID / url.
{{ message }}
Based on Zulip discussion.
We're starting to add links in to Mathlib. We'd like to also supply backlinks from Mathlib properties (&c.) back to the canonical π-Base ID / url.