Documentation

Lean.Elab.Tactic.Lets

Tactics to manipulate let expressions #

extract_lets #

lift_lets #