Yachin on Pirkei Avot 2:75 · יכין אבות · free full Hebrew text
ורבי אלעזר בן ערך הוא ר' נהוראי. וי"א שהוא ר' נחמיה [שבת קמ"ז]. וי"א דהוא ר"מ [עירובין די"ג]: