PanLinx
русский
rus-000
экстенсиональное равенство
English
eng-000
extensional equality
PanLex
