Commit 2024-05-01 15:23 6fa9d2b5

View on Github →

chore: missing DecidableEq (DirectSum _ _) instance (#12491)

Estimated changes