Def Mathlib.Tactic.Lift.main

Modification history

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