Theorem QuaternionAlgebra.algebraMap_eq

Modification history