Commit 2026-03-26 21:44 9aa2808b

View on Github →

feat(RepresentationTheory/Intertwining): add one simp lemma to get rid of the auto coercion (#37234)

Estimated changes