Commit 2025-02-05 22:11 395bedc1

feat: add theorem about the norm of cross products (#20920) Add and prove the equality between the norm of a cross-product of two vectors and the product of the norms of the individual vectors and the sine of the angle between them. See crossProduct_norm_eq_norm_mul_norm_mul_sin.