PanLinx
русский
rus-000
локальная тривиальность
English
eng-000
local triviality
PanLex
