Def Lean.PrettyPrinter.Parenthesizer.stacksTagAntiquot.parenthesizer

Modification history

2024-09-02 13:40
Mathlib/Tactic/StacksAttribute.lean
feat: parser for Stacks Project Tags (#16230) …
Added Lean.PrettyPrinter.Parenthesizer.stacksTagAntiquot.parenthesizerView on Github →