PanLinx
English
eng-000
metatheorem
普通话
cmn-000
元定理
ગુજરાતી
guj-000
અધિપ્રમેય
PanLex
