∫ Утверждение Mathlib
parenthesizer
Mathlib.Tactic.StacksAttribute
URI: https://scilib.ai/kg/mathlib#Lean.PrettyPrinter.Parenthesizer.stacksTagAntiquot.parenthesizer
∫ Утверждение Mathlib
Mathlib.Tactic.StacksAttribute
URI: https://scilib.ai/kg/mathlib#Lean.PrettyPrinter.Parenthesizer.stacksTagAntiquot.parenthesizer