Theorem QuaternionAlgebra.star_add_self'

Modification history