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: Jun 06 2026 at 17:17 UTC
Kevin Lee (Jun 27 2023 at 15:40): Kevin Lee (Jun 27 2023 at 15:40):