Eintrag weiter verarbeiten
Definition and Properties of Direct Sum Decomposition of Groups1
Uloženo v:
Název časopisu: | Formalized Mathematics |
---|---|
Personen und Körperschaften: | , , , |
In: | Formalized Mathematics, 23, 2015, 1, s. 15-27 |
Formát: | Článek |
Jazyk: | angličtina |
vydáno v: |
Walter de Gruyter GmbH
|
Předměty: |