P
Initializing...
Unnumbered main result: WPICC parametrisation (8), (A5)-(A6) · Prove2Me