עיקר תוספות יום טוב על משנה אהלות י״ב:ו׳

6 יד כֻּלָּהּ. אַף עַל פִּי שֶׁקְּצָתָהּ פְּחוּתָה מִטֶּפַח, מִפְּנֵי שֶׁקְּצָתָהּ מִקְצָת אֹהֶל הוּא. הָרַמְבַּ"ם. דְּאִם לֹא כֵן, לִתְנֵי מְבִיאָה אֶת הַטֻּמְאָה וְתוּ לֹא. כֶּסֶף מִשְׁנֶה:

7 טו מִשּׁוּם דְּלֹא סַגִּי בְטַעֲמָא שֶׁהַמְרֻבָּע כוּ', דְּאִיהוּ גוּפֵיהּ קָשֶׁה מְנָלָן, לְכָךְ מֵבִיא מִקְּרָא. אַךְ תְּמֵהַנִי דְּהָיָה לוֹ לַהֲבִיאוֹ מִמְּלָכִים א'‏ ז'‏ כ"ג דְּקָדֵים:

8 טז אַרְבָּעָה. וְקָשֶׁה, דִּלְגוּפֵיהּ לֹא אִצְטְרִיךְ, דִּכְשֶׁמָּדַד צַד אֶחָד לָמָּה לֵיהּ לִמְדֹּד עוֹד הַשְּׁלֹשָׁה צְדָדִים. וּלְאַשְׁמְעִינַן דִּמְרֻבָּע יָתֵר כוּ'‏ אֵינוֹ בְמַשְׁמַע, דְּאִם כֵּן הֲרֵי זֶה בָּא לְלַמֵּד וְנִמְצָא לָמֵד:

9 יז רְבִיעַ. דְּהָא כָל עִגּוּל שֶׁרָחְבּוֹ אַמָּה, הֶקֵּפוֹ שָׁלֹשׁ, וּמְרֻבָּע שֶׁל אַמָּה הֶקֵּפוֹ אַרְבַּע. רַשִׁ"י. וְעַיֵּן תּוֹסְפוֹת יוֹם טוֹב: