Mathlib Changelog
v4
Changelog
About
Github
Commit
2023-08-16 18:01
861d9d42
View on Github →
chore(Data/Matrix/Basic): iff lemmas for (conj)transpose and 0/1 (
#6602
)
Estimated changes
Modified
Mathlib/Data/Matrix/Basic.lean
added
theorem
Matrix.conjTranspose_eq_one
added
theorem
Matrix.conjTranspose_eq_zero
added
theorem
Matrix.transpose_eq_one
added
theorem
Matrix.transpose_eq_zero