Lean was released on 30 May 2025 by 9096490 Records DK as a part of the album Mars - EP