海词手机词典
  • 具有有限多个理想的李代数的性质