  Homotopy theory folklore tells us that the sheaf defining the cohomology
theory Tmf of topological modular forms is unique up to homotopy. Here we
provide a proof of this fact, although we claim no originality for the
statement. This retroactively reconciles all previous constructions of Tmf.
