Theorem QuaternionAlgebra.sub_im_self

Modification history