Def Lean.setProtected

Modification history

2022-06-01 12:17

Mathlib/Tactic/Core.lean

fix: unused arguments (#277)

Modified Lean.setProtected View on Github →

2021-12-09 16:23

Mathlib/Tactic/Core.lean

feat(*): some auxiliary definitions for toAdditive (#112) …

Added Lean.setProtected View on Github →