PanLinx
English
eng-000
right-cancellative groupoid
PanLex