Prove the tree holds a sorted set - #9

Prove the tree holds a sorted set#9

yogthos merged 2 commits into

mainjlt-commons/writ:mainfrom

prove-sorted-setjlt-commons/writ:prove-sorted-setCopy head branch name to clipboard