Theorem QuaternionAlgebra.coe_pow

Modification history