Theorem Quaternion.smul_coe

Modification history