mathlib3
feat(tactic/basic): folding over the environment, to get all declarat…
#798
Merged
Merged