Three days of public mourning in Tehran was a political spectacle Iran's leaders wanted the world to see, writes the BBC's international correspondent Lyse Doucet.

This is an ingested summary. Full reporting is available at the primary source below.