The Reiteration operation allows one to reproduce an earlier step in a proof, usually for the purposes of clarity.
確定! 回上一頁