Mathlib v3 is deprecated. Go to Mathlib v4

Def clifford_algebra_quaternion.of_quaternion

Modification history