According to The Economist, the Iranian theocracy is no longer in power, the IRGC is. Still, not the regime change Trump was hoping for, that's for sure.

> Khamenei’s killing has accelerated Iran’s transition from a theocracy to an ambitious nationalistic state dominated by military men. The irgc appears to wield power with few constraints. Clerics who challenged its influence—including former Presidents Mohammad Khatami and Hassan Rouhani—were conspicuously absent from the [funeral] processions.

https://www.economist.com/interactive/middle-east-and-africa...