Def Quaternion.linearIsometryEquivTuple

Modification history

2026-05-24 07:15
Mathlib/Analysis/Quaternion.lean
perf: shortcut instances for `Semiring` (#39719) …
Added Quaternion.linearIsometryEquivTupleView on Github →