PanLinx
한국어
kor-000
보조정리
English
eng-000
helping theory
English
eng-000
lemma
English
eng-000
subordinate proposition
PanLex