A general principle or rule that is assumed or that has been proven to hold between expressions.

 
  • 定理表达式之间假设或被证明存在的一普通原则或法则
今日热词
目录 附录 查词历史