Lean fue publicado el 30 de mayo de 2025 por 9096490 Records DK como parte del álbum Mars - EP