mathlib

939662ad - an attempt at building canonical isomorphisms between different parenthesisations