P
Initializing...
Proposition 3: nonnegativity and vanishing on local boxes · Prove2Me