Lean foi lançado em 30 de maio de 2025 por 9096490 Records DK como parte do álbum Mars - EP