Theorem Tree.treesOfNumNodesEq_card_eq_catalan

Modification history