Lemma 11 states that typing of an e

Lemma 11 states that typing of an expression is preserved by
performing renamings on both the expression and signature.

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

แทรก 11 รัฐที่พิมพ์ในการแสดงออกจะถูกเก็บรักษาไว้โดย
การดำเนินการ renamings ทั้งการแสดงออกและลายเซ็น

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

แทรก 11 รัฐที่พิมพ์ของการแสดงออกที่ถูกเก็บรักษาไว้โดยแสดง renamings ทั้งการแสดงออกและลายเซ็น