Mathlib Changelog
v4
Changelog
About
Github
Commit
2026-01-13 16:45
8cb93191
View on Github →
fix: generalize TransvectionStruct.det_toMatrix_prod to CommRing (
#33900
)
Estimated changes
Modified
Mathlib/LinearAlgebra/Matrix/Transvection.lean
modified
theorem
Matrix.TransvectionStruct.det_toMatrix_prod