Theorem TensorAlgebra.toClifford_ι

Modification history