Theorem Quaternion.finrank_eq_four

Modification history