海词手机词典
  • 代数中正规元的一个性质