P
Initializing...
Corollary 4.3, p. 13 — for injective A, bᵢ ≠ 0 and |Ax| = b solvable, PhaseCutMod has a unique rank-one solution whenever PhaseLift does · Prove2Me