Commit 2025-07-06 01:28 76b39de5
View on Github →chore(LinearAlgebra/Contraction): generalize to Commsemiring (#26802) No changes to the proofs are needed.
chore(LinearAlgebra/Contraction): generalize to Commsemiring (#26802) No changes to the proofs are needed.