P

Initializing...

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