mathlib3

9c1dfffb - better construction of closure