Theorem Quaternion.normSq_div

Modification history