Commit 2025-07-14 15:13 f68fe3b9
View on Github →feat: (vecMulVec _ _).rank ≤ 1 (#27075)
We had a copy of this already for .toLin'.rank, but we leave deprecating this until we have a better replacement.
Discussed in #new members > Is this a reasonable formalization? @ 💬