Mathlib v3 is deprecated. Go to Mathlib v4

Theorem matrix.update_column_eq_self

Modification history

2021-05-01 00:19
src/data/matrix/basic.lean
feat(linear_algebra/determinant): various operations preserve the determinant (#7115) …
Added matrix.update_column_eq_selfView on Github →