Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Def
fdRep.of
Modification history
2022-05-13 09:53
src/representation_theory/fdRep.lean
feat(representation_theory): fdRep k G, the category of finite dim representations of G (#13740) …
Added
fdRep.of
View on Github →