Theorem QuaternionAlgebra.im_idem

Modification history