叠加态公设与玻恩规则(讲义 §8)

类型definition-derivation · 承接↩ 接上页三条要求——满足它们的态长这样