Lean è stato pubblicato il 30 maggio 2025 da 9096490 Records DK come parte dell'album Mars - EP