Lean fue lanzado el 18 de octubre de 2021 por Green Tiger Records como parte del álbum Introducing - EP