The following pages link to A Heyting algebra on Dyck paths of type \(A\) and \(B\) (Q2407687):
Displaying 2 items.