Def abelianization.of

Modification history

2020-08-02 16:01

src/group_theory/abelianization.lean

chore(group_theory/*): refactor quotient groups to use bundled subgroups (#3321)

Modified abelianization.of View on Github →

2018-09-02 19:54

group_theory/abelianization.lean

feat(linear_algebra,group_theory): add tensor product and supporting material

Added abelianization.of View on Github →