Lean dirilis pada 30 Mei 2025 oleh 9096490 Records DK sebagai bagian dari album Mars - EP