Commit 2024-10-24 00:56 15e91eba
View on Github →chore: golf a messy Matrix proof (#18097)
Using the new Matrix.ofLinearEquiv casting function here (modified in this PR to take an explicit argument) makes everything go through cleanly, resolving the porting note.