Theorem Quaternion.star_mul_self

Modification history