--
Noam Zeilberger
(Birmingham University)

Join seminar with the Parsifal team The classical Tamari lattice Yn is defined as the set of binary trees with n internal nodes, with the partial ordering induced by the (right) rotation operation. It is not obvious why Yn is a lattice, but this was first proved by Haya Friedman ...