Mathlib Changelog
v4
Changelog
About
Github
Def
Rep.leftRegularHomEquiv
Modification history
2025-08-15 16:30
Mathlib/RepresentationTheory/Rep.lean
chore: bump toolchain to v4.23.0-rc2 (#28454)
Added
Rep.leftRegularHomEquiv
View on Github →