P
Initializing...
Extended-real convex potentials and Legendre transforms · Prove2Me