Commit 2026-05-18 07:58 8db54e76
View on Github →refactor(RepresentationTheory/Coinvariants): use IntertwiningMap in Coinvariants.map (#38428)
Currently Coinvariants.map has the intertwining condition as as a separate hypothesis. This PR switches over to the bundled IntertwiningMap.