§4.4.3, p. 32 — S_κ(a) = (a − κ)₊ − (−a − κ)₊ · Prove2Me

P

Initializing...

§4.4.3, p. 32 — S_κ(a) = (a − κ)₊ − (−a − κ)₊ · Prove2Me