Theorem QuaternionAlgebra.sub_imK

Modification history