PanLinx
English
eng-000
extension of theorem
русский
rus-000
обобщение теоремы
PanLex
