Documentation

Mathlib.Tactic.ExtractLets