P
Initializing...
Polynomial-size commutative aggregates cannot be half of a covering pair (Erdős 624) · Prove2Me