Documentation

CvxLean.Tactic.DCP.AtomLibrary.Fns.Diagonal

Atom for the operation that turns a vector into a diagonal matrix with zeros outside the diagonal (affine).