proof transformation

• 验证变换

proof transformation的用法和样例：

例句

1. We call such a transformation constant unfolding.
   我们称这种变换为常数展开。
2. The physical origin of the gauge transformation is a mystery.
   这个规范变换的物理起因还是个谜。