Theorem CliffordAlgebra.isUnit_ι_of_isUnit

Modification history