Tosafot on Bava Batra 98b (צח:) — the commentary online

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

כי קחשיב משפת כרובים ולמעלה. בפירוש מקרא פרש"י דתקרה דעליית היכל היתה גבוהה משל קדשי הקדשים עשר אמות ולא עיין כאן: