P
Initializing...
p. 13 — every matrix ∗-algebra has a unique unit · Prove2Me