Theorem Quaternion.normSq_coe

Modification history