Martin-Löf は definitional equality と judgemental equality を区別しているのか
Please Login to reply.
No replies yet.
