invariants, and prove the equivalence of two different definitions of minimality. As an
application we show that transformations between models with square-free discriminant are
necessarily integral. This result is used by Bhargava and Shankar in their work on the
average ranks of elliptic curves.