Theorem CliffordAlgebra.ι_mul_ι_add_swap_of_isOrtho

Modification history