Def Lean.Elab.elabUnsetOption

Modification history

2022-09-30 18:32
Mathlib/Tactic/UnsetOption.lean
feat: add an unset_option command (#422) …
Added Lean.Elab.elabUnsetOptionView on Github →