Def Mathlib.Tactic.Lift.getInst

Modification history

2023-01-08 01:33
Mathlib/Tactic/Lift.lean
feat: port the `lift` tactic (#723) …
Added Mathlib.Tactic.Lift.getInstView on Github →