--
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 ...
