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