P
Initializing...
§9.5.1 with explicit witnesses: the source transform through the chirp identity · Prove2Me