P
Initializing...
Twisting by an ample bundle gives ampleness · Prove2Me