mathlib

7ab3ca85 - feat(data/quaternion): define quaternions and prove some basic properties (#2339)