P
Initializing...
A map with a nondegenerate end is nonconstant · Prove2Me