海词手机词典
  • 弱右逆半群上的群同余格与同余格