Theorem Quaternion.normSq_add

Modification history