Theorem QuaternionAlgebra.smul_mk

Modification history