Further processing options
Definition and Properties of Direct Sum Decomposition of Groups1
Saved in:
Journal Title: | Formalized Mathematics |
---|---|
Authors and Corporations: | , , , |
In: | Formalized Mathematics, 23, 2015, 1, p. 15-27 |
Type of Resource: | E-Article |
Language: | English |
published: |
Walter de Gruyter GmbH
|
Subjects: |