Theorem QuaternionAlgebra.sub_self_im

Modification history