mathlib

6fc42402 - Working towards modified catalan descent lemma