P
Initializing...
Theorem 2.5: general extremality criterion and rank bound · Prove2Me