Iran mourns "a great man of the revolution"