rule of replacing the name of bound variable

英 美
  • 约束变元易字规则
目录 查词历史