mathlib3

91c5f4d8 - Add collapsed quantifiers to clipboard paste code.

Add collapsed quantifiers to clipboard paste code. For @PatrickMassot 👁‿👁 I do this by refactoring the sf handling code in to its own method that returns the sf tree with the new look.