Lean 由 9096490 Records DK 于 2025年5月30日 发行，作为专辑“Mars - EP”的一部分。