Genus-Zero Pairings and Catalan Numbers

Source: url:https://github.com/Wondermonger-daydreaming/semicircle-catalan Authors: Wondermonger-daydreaming Status: verified Main declarations: card_noncrossingPairing_eq_catalan, Pairing.genus_zero_count Tags: combinatorics, catalan-numbers, noncrossing-partitions MSC: 05A15, 05A18