Commit 2023-05-20 12:38 ddd8e1d2

View on Github →

feat: port LinearAlgebra.CrossProduct (#3736)

Estimated changes

deleted theorem Matrix.vec2_dot_product'
deleted theorem Matrix.vec3_dot_product'
added def Cross.lieRing
added def crossProduct
added theorem cross_anticomm'
added theorem cross_anticomm
added theorem cross_apply
added theorem cross_cross
added theorem cross_dot_cross
added theorem cross_self
added theorem dot_cross_self
added theorem dot_self_cross
added theorem jacobi_cross
added theorem leibniz_cross
added theorem triple_product_eq_det