mathlib3
ee89acdf - feat(representation_theory): fdRep k G is k-linear with finite dimensional hom spaces (#13789)

Commit

3 years ago

feat(representation_theory): fdRep k G is k-linear with finite dimensional hom spaces (#13789) Co-authored-by: Scott Morrison <scott.morrison@gmail.com>

Author

kim-em

Parents

f020f410

mathlib3 ee89acdf - feat(representation_theory): fdRep k G is k-linear with finite dimensional hom spaces (#13789)

mathlib3
ee89acdf - feat(representation_theory): fdRep k G is k-linear with finite dimensional hom spaces (#13789)