Theorem Quaternion.normSq_zpow

Modification history