Commit 2023-08-16 18:01 8712fabc

View on Github →

chore(Data/Matrix/Basic): trivial simp lemmas for row and col (#6614)

Estimated changes

added theorem Matrix.col_eq_zero
added theorem Matrix.col_inj
added theorem Matrix.col_injective
added theorem Matrix.col_zero
added theorem Matrix.row_eq_zero
added theorem Matrix.row_inj
added theorem Matrix.row_injective
added theorem Matrix.row_zero