P
Initializing...
Eq. (2.65), Table 1: TD = DT and D† = DT · Prove2Me