Theorem 3.12. Let L and L′ be two G

Theorem 3.12. Let L and L′ be two GADLs with 0 and 0′, respectively and
f : L → L′ an epimorphism. If Kerf = {0}, then

ผลลัพธ์ (ไทย) 1:

ทฤษฎีบท 3.12 ให้ L และ L′ จะ GADLs 2 0 และ 0′ ตามลำดับ และf: L → L′ epimorphism การ ถ้า Kerf = { 0 } แล้ว

ผลลัพธ์ (ไทย) 2:

ทฤษฎีบท 3.12 ขอ L และ L 'เป็นสอง GADLs กับ 0 และ 0' ตามลำดับและ
f: L → L 'epimorphism หาก Kerf = {0} แล้ว

ผลลัพธ์ (ไทย) 3:

ทฤษฎีบท 3.12 . ให้ฉันและฉันได้รับเป็นสอง gadls กับ 0 และ 0 นั้น ตามลำดับ
F : L → keyboard - key - name ผมได้รับการ epimorphism . ถ้าเคิฟ = { 0 } แล้ว