Theorem CliffordAlgebra.comp_ι_sq_scalar

Modification history