identity and equality are transitive relations

  • 恒等式与等式是传递关系
目录 查词历史