P

Initializing...

Proposition 61 (headline).** The boost intertwiner `U'` is unitary: it has the two-sided inverse `(U')†` · Prove2Me