Theorem Quaternion.normSq_nonneg

Modification history