mathlib3

33602670 - feat(tactic/basic): folding over the environment, to get all declarations (#798)