mathlib3

8b36d5b5 - Fix issue where nested quantifiers stopped collapsing