P
Initializing...
Maximality forces the triangulated lower bound · Prove2Me