Theorem Quaternion.sq_eq_normSq

Modification history