Lean è stato pubblicato il 18 ottobre 2021 da Green Tiger Records come parte dell'album Introducing - EP