海词手机词典
  • 无限性引理

    [wú xiàn xìng yǐn lǐ]