Def Mathlib.Linter.Style.setOption.parseSetOption

Modification history

2024-12-08 15:02

Mathlib/Tactic/Linter/Style.lean

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

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