Theorem Tree.mem_treesOfNumNodesEq_numNodes

Modification history