Commit 2026-10-12 20:46 54c01c33
View on Github →chore(RepresentationTheory/Basic): automated extraction from #44776 (#44780) This PR was automatically created from PR #44776 by @keithadler via a review comment by @grunweg.
chore(RepresentationTheory/Basic): automated extraction from #44776 (#44780) This PR was automatically created from PR #44776 by @keithadler via a review comment by @grunweg.