Commit 2026-03-02 16:30 7969372d

View on Github →

chore(RepresentationTheory/Basic): generalise to Semiring (#35981)

Estimated changes