Commit 2025-08-14 03:21 9a18bacc

View on Github →

chore: generalize results about Matrix.kroneckerTMul (#28367) This fixes a typo where both modules were accidentally the same, and also generalizes to non-unital rings.

Estimated changes