P

Initializing...

Theorem 4.5, p. 11 — SAKKT-regularity is the weakest strict constraint qualification associated with SAKKT · Prove2Me