Mathlib v3 is deprecated. Go to Mathlib v4

Theorem quaternion_algebra.coe_basis_one_i_j_k_repr

Modification history