PanLinx
Universal Networking Language
art-253
theorem(icl>proposition>thing)
English
eng-000
theorem
français
fra-000
théorème
русский
rus-000
теорема
tiếng Việt
vie-000
định lí
Bahasa Malaysia
zsm-000
teorem
PanLex
