Def Representation.IntertwiningMap.equivAlgEnd

Modification history

2026-02-17 23:08
Mathlib/RepresentationTheory/Intertwining.lean
chore: bump toolchain to v4.29.0-rc1 (#35459)
Deleted Representation.IntertwiningMap.equivAlgEndView on Github →
2026-01-30 17:31
Mathlib/RepresentationTheory/Intertwining.lean
feat: Schur's lemma for monoid representations (#33802) …
Added Representation.IntertwiningMap.equivAlgEndView on Github →