Theorem Tree.mem_trees_of_nodes_eq_numNodes

Modification history