P
Initializing...
Proof of Lemma 1, p. 5 — S†_i = S_i when the layer set is closed under adjoint · Prove2Me