Theorem FdRep.finrank_hom_simple_simple

Modification history

2024-07-11 19:31

Mathlib/RepresentationTheory/FDRep.lean

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

Deleted FdRep.finrank_hom_simple_simple View on Github →

2023-07-01 20:46

Mathlib/RepresentationTheory/FdRep.lean

feat: port RepresentationTheory.FdRep (#5612)

Added FdRep.finrank_hom_simple_simple View on Github →