`BookProof.ChapterE3.eulerJ_antisymm` (l w : Fin n → ℝ) : (eulerJ l w)ᵀ = - eulerJ l w · Prove2Me

P

Initializing...

`BookProof.ChapterE3.eulerJ_antisymm` (l w : Fin n → ℝ) : (eulerJ l w)ᵀ = - eulerJ l w · Prove2Me