Theorem Quaternion.normSq_smul

Modification history