Commit 2025-08-14 03:21 f7954399

View on Github →

chore: fixes around Matrix.liftLinear (#28368) This fixes a misnamed lemma, and adds a characterization lemma which is helpful for the reader.

Estimated changes