∫ Утверждение Mathlib
instBEqErrorFormat
Mathlib.Tactic.Linter.TextBased
URI: https://scilib.ai/kg/mathlib#Mathlib.Linter.TextBased.instBEqErrorFormat
∫ Утверждение Mathlib
Mathlib.Tactic.Linter.TextBased
URI: https://scilib.ai/kg/mathlib#Mathlib.Linter.TextBased.instBEqErrorFormat