Commit 2026-04-06 15:21 39328e9c

View on Github →

chore(RepresentationTheory/Intertwining): slightly generalise two lemmas (#37694)

Estimated changes