Theorem QuaternionAlgebra.self_add_star

Modification history