Commit 2026-03-25 04:00 37be2093
View on Github →chore(DirectSum): clean up instances (#37135)
Clean up instances on DirectSum using InferInstanceAs.
Clean up instances in TensorProduct/Graded, which depend on the DirectSum instances.
Golf away some backward options.