P
Initializing...
Claim 15.6: for y ∈ {±1}, w ↦ max{0, 1 − y⟨w,x⟩} is ‖x‖-Lipschitz · Prove2Me