Theorem Quaternion.smul_re

Modification history