Reference for Pesachim 144:19

ור' יוחנן כמאן אילימא כרבי יוסי דתנן רבי יוסי אומר יום טוב הראשון של חג שחל להיות בשבת ושכח והוציא את הלולב לרשות הרבים פטור מפני שהוציא ברשות

Jastrow

Jastrow