처치-로서 정리

Creator

Creator

Created

Created

2020 Nov 19 13:16

Editor

Editor

Edited

Edited

2022 Feb 17 16:2

Refs

Refs

Language

Language

따름정리로

베타 축약에 대한 주어진 항의 표준형이 (존재할 경우) 알파 동치 아래 유일하다는 사실

Recommendations

////