Theorem QuaternionAlgebra.smul_re

Modification history