∫ Утверждение Mathlib

isSetOption

Mathlib.Tactic.Linter.Style

URI: https://scilib.ai/kg/mathlib#Mathlib.Linter.Style.setOption.isSetOption

← MathLib Explorer