Theorem Descriptive.Tree.pullSub_adjunction

Modification history