Commit 2023-02-10 12:21 d3e3adc9
View on Github →chore(algebra/quaternion): missing trivial lemmas (#18413)
A mixture of trivial algebraic results and trivial topological ones.
This also changes the rat.cast
instance on quaternions to be slightly nicer.