Chokhmat Shlomo on Sanhedrin 18b · חכמת שלמה על סנהדרין · free full Hebrew text
תוס' בד"ה כ"ג כו' ודן קתני אגב דנין. נ"ב נ"ל דה"פ כלומר ה"ק כשם שכ"ג דן לאחרים כך אחרים דנין נמי אותו ולאו משום איידי ודו"ק מש"ה הכא גבי מלך אין שייך לומר דתני לא דן אגב אין דנין דאינו מתיישב לפי מ"ש ודו"ק (עיין במהרש"א):