P
Initializing...
The verifiable sets of a basis, plus the whole space, form a sub-basis · Prove2Me