Theorem FDRep.dualTensorIsoLinHom_hom_hom

Modification history

2024-12-05 09:31

Mathlib/RepresentationTheory/FDRep.lean

refactor(Algebra/Category/ModuleCat): make `ModuleCat.Hom` a structure (#19511) …

Modified FDRep.dualTensorIsoLinHom_hom_hom View on Github →

2024-07-11 19:31

Mathlib/RepresentationTheory/FDRep.lean

chore(RepresentationTheory): rename FdRep to FDRep (#14309) …

Added FDRep.dualTensorIsoLinHom_hom_hom View on Github →