P
Initializing...
Lemma 12 on Gaussian (record) arrays, any two axes · Prove2Me