Stream: Beginner Questions

Topic: Vector


view this post on Zulip Kevin Lee (Jun 27 2023 at 15:40):

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: Dec 07 2024 at 16:22 UTC