Theorem Descriptive.Tree.mem_pullSub_self

Modification history