Sefer HaMitzvot, Positive Commandments 226 ספר המצוות, מצוות עשה רכ״ו

היא שצונו להרוג את העוברים על קצת המצות בסייף. והוא אמרו יתברך נקם ינקם. והנה נרמוז במצות לא תעשה על המצות שחייבין עליהן התזת הראש בסייף. וכבר התבארו משפטי מצוה זו במסכת סנהדרין. (ואלה המשפטים, הלכות סנהדרין כל דיני ארבע מיתות ב"ד פי"ד וט"ו):