Theorem Quaternion.normSq_le_zero

Modification history