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

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