Beit Yosef, Choshen Mishpat 217:6 · בית יוסף · free full Hebrew text
מכר לו בור וכותליה נותן לו מקום רוחב הכותל ג' טפחים ברייתא ריש פ' לא יחפור (בבא בתרא יז:):