P
Initializing...
The query core of Theorem 30 for arbitrary input arrays returns the value of the query · Prove2Me