Def Mathlib.Linter.Style.setOption.isSetOption

Modification history

2024-12-08 15:02

Mathlib/Tactic/Linter/Style.lean

chore(*): rename some `defs` to `camelCase` (#19795)

Added Mathlib.Linter.Style.setOption.isSetOption View on Github →