Def Mathlib.CrossRef.stacksTagNoAntiquot

Modification history

2026-05-13 12:28

Mathlib/Tactic/CrossRefAttribute.lean

refactor(CrossRefAttribute): abstract over external databases (#39283) …

Added Mathlib.CrossRef.stacksTagNoAntiquot View on Github →