叫做Halmos tombstone,以數學家Paul Halmos命名。 ... 拉丁文id est,英文意為“that is”或者“in other words”,可以對應於中文裡面 ... 同理可證.
確定! 回上一頁