Lean κυκλοφόρησε στις 18 Οκτωβρίου 2021 από Green Tiger Records ως μέρος του άλμπουμ Introducing - EP