P
Initializing...
Theorem 1.4 on a domain, for wide cones · Prove2Me