P
Initializing...
Theorem 1.4's seminorm comparison on ℝ^d, for wide cones · Prove2Me