مصطفى بن محمد بن ياردم بن سرخان السيروزي المعروف بضحكي
ضحكي
[الأعلام للزركلي]
مصطفى بن محمد بن ياردم بن سرخان السيروزي المعروف بضحكي: قاض، تركي، من العارفين بالعربية. كان فقيه الترك في عصره. ولي قضاء القسطنطينية مرات، وتوفي فيها. من كتبه (لوازم القضاة والحكام في إصلاح أمور الأنام) في المعاملات الفقهية على مذهب أبي حنيفة و (مطلوب الفقهاء) 1. خلاصة الأثر 4: 396 والكتبخانة 3: 107 وإيضاح المكنون 2: 412 وعثمانلي مؤلفلري 1: 345.