mathlib

6754d2e8 - Proves prop on Catalan power series squared