Theorem Descriptive.Tree.mem_of_prefix

Modification history