Theorem Quaternion.re_smul

Modification history