Isabelle “的用法;也有……终于有了;在伊莎贝尔,isabelle,isar,Isabelle,Isar,我通常认为也有这样的工作方式: have "P r Q1" by simp also have "... r Q2" by simp ...
確定! 回上一頁