Commit 2024-07-28 19:09 45c24fbe

View on Github →

chore(Matrix/RowCol): Inhabited -> Nonempty (#15235)

Estimated changes

modified theorem Matrix.col_eq_zero
modified theorem Matrix.col_inj
modified theorem Matrix.col_injective
modified theorem Matrix.row_eq_zero
modified theorem Matrix.row_inj
modified theorem Matrix.row_injective