Theorem QuaternionAlgebra.rank_eq_four

Modification history