-1

補題を証明しました (証明完了) が、Qed を使用して保存すると、システムがビジーになります。同じファイルには、これを除いて、Qed が正常に動作する他の同様の補題があります。その解決策を教えてくれる体はありますか？

ありがとう、

ウィラヤット

4

1 に答える 1