海词手机词典
  • 拟正则半群上的完全正则同余