Commit 2021-08-08 11:51 87e9becc
View on Github →chore(linear_algebra/matrix/trace): relax comm_ring to comm_semiring in matrix.trace_mul_comm (#8577)
chore(linear_algebra/matrix/trace): relax comm_ring to comm_semiring in matrix.trace_mul_comm (#8577)