Def Mathlib.Linter.Style.isObtainWithoutProof

Modification history

2024-12-08 15:02

Mathlib/Tactic/Linter/OldObtain.lean

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

Added Mathlib.Linter.Style.isObtainWithoutProof View on Github →