Lean werd uitgebracht op 30 mei 2025 door 9096490 Records DK als onderdeel van het album Mars - EP