Theorem Descriptive.Tree.mem_pullSub_append

Modification history