Theorem QuaternionAlgebra.zero_re

Modification history