mathlib

3266b960 - feat(tactic/lift): automatically handle pi types (#1755)

feat(tactic/lift): automatically handle pi types (#1755) * feat(tactic/lift): automatically handle pi types * Add missing docs * Update docs/tactics.md Co-Authored-By: sgouezel <sebastien.gouezel@univ-rennes1.fr>