P
Initializing...
Construct triangular extreme points with exponential affine coordinate-level obstruction · Prove2Me