Commit 2026-03-26 18:38 408cd2a3

View on Github →

chore(RepresentationTheory/Invariants): generalize universe (#37230)

Estimated changes

Modified Mathlib/RepresentationTheory/Invariants.lean

modified def Representation.linHom.invariantsEquivRepHom

modified theorem Representation.linHom.mem_invariants_iff_comm