P
Initializing...
Theorem 2.3 (i)⇔(iv)⇔(v) — characterizations of semismoothness · Prove2Me