I would like to use the Cauchy-Schwarz inequality which is in the Analysis library, but how can I define a vector, say (1,1,1)?
Last updated: May 06 2024 at 16:21 UTC