P
Initializing...
Theorem 4.3 — mixed regularity gives linear contraction · Prove2Me