Theorem QuaternionAlgebra.finrank_eq_four

Modification history