Commit 2024-06-19 09:36 85915c8c
View on Github →feat(Data/Matrix/ColumnRowPartitioned): add two negation lemmas (#13520) add two negation lemmas which state that negating a matrix partitioned by rows/columns is equivalent to negating each row/column of the matrix