Yes, Tom Ellis’ Lucifer did show up in this year’s DC Arrowverse crossover

Lucifer and Constantine
Lucifer and Constantine

Kudos to The CW, Netflix et al. I was sceptical that it would ever happen, when the rumour got out. But in this year’s Arrowverse crossover, we finally got to have Lucifer from Lucifer meet John Constantine from Constantine et al. If only Johnnie could have met Swamp Thing, too.

Spoilers in the vid, obviously.