Theorem Quaternion.normSq_neg

Modification history