latex中定义命题、引理环境

  • 2024-10-02