Theorem Tree.treesOfNodesEq_card_eq_catalan

Modification history