P
Initializing...
Error of slice-wise tensor product approximations (Lemma 2.11) · Prove2Me