Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Commit
2021-07-30 16:11
6e400b90
View on Github →
feat(data/matrix/basic): update_{column,row}_subsingleton (
#8422
)
Estimated changes
Modified
src/data/matrix/basic.lean
added
theorem
matrix.update_column_subsingleton
added
theorem
matrix.update_row_subsingleton