Theorem QuaternionAlgebra.star_smul

Modification history