P
Initializing...
Theorem 7.17 -- lconvex_iff_argmin_polyhedra_lconvex · Prove2Me