Theorem Descriptive.Tree.pullSub_nil

Modification history