Theorem CliffordAlgebraQuaternion.ofQuaternion_toQuaternion

Modification history