Theorem Descriptive.Tree.pullSub_mono

Modification history