Def Mathlib.CrossRef.Database.url

Modification history

2026-09-01 08:37
Mathlib/Tactic/CrossRefAttribute.lean
feat: implement pi-base cross-reference attribute (#41487) …
Modified Mathlib.CrossRef.Database.urlView on Github →
2026-07-04 02:49
Mathlib/Tactic/CrossRefAttribute.lean
feat(scripts): export wikidata/stacks/kerodon cross-references as JSON (#40701) …
Added Mathlib.CrossRef.Database.urlView on Github →