forest / trees / dt / dt-0016.tree

\import{dt-macros}
\title{Least upper bounds}
\author{liamoc}
\transclude{dt-0017}
\transclude{dt-0018}
\transclude{dt-0019}
\transclude{dt-001A}
\transclude{dt-001B}
\transclude{dt-001C}