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