PanLinx
普通话
cmn-000
代入定律
English
eng-000
law of substitution
PanLex