PanLinx
ગુજરાતી
guj-000
અધિપ્રમેય
English
eng-000
metatheorem
PanLex
