Def Representation.linHom.invariantsEquivFDRepHom

Modification history

2024-07-11 19:31
Mathlib/RepresentationTheory/Invariants.lean
chore(RepresentationTheory): rename FdRep to FDRep (#14309) …
Added Representation.linHom.invariantsEquivFDRepHomView on Github →