Def Lean.PrettyPrinter.Parenthesizer.Mathlib.CrossRef.traceCrossRefs

Modification history

2026-05-13 12:28
Mathlib/Tactic/CrossRefAttribute.lean
refactor(CrossRefAttribute): abstract over external databases (#39283) …
Added Lean.PrettyPrinter.Parenthesizer.Mathlib.CrossRef.traceCrossRefsView on Github →