WEKO3
アイテム / Submodule of free Z-module / [Formalized Mathematics] Submodule of free Z-module
[Formalized Mathematics] Submodule of free Z-module
| ファイル | ライセンス |
|---|---|
 [Formalized Mathematics] Submodule of free Z-module.pdf (270.1 kB)
sha256
adfbec260bcf5d5d4b99f4badd603f42604f9dbcd8d694330f6685bebac18045
|
| 公開日 | 2016-09-14 | |||||
|---|---|---|---|---|---|---|
| ファイル名 | [Formalized Mathematics] Submodule of free Z-module.pdf | |||||
| 本文URL | https://soar-ir.repo.nii.ac.jp/record/18383/files/[Formalized Mathematics] Submodule of free Z-module.pdf | |||||
| ラベル | [Formalized Mathematics] Submodule of free Z-module.pdf | |||||
| フォーマット | application/pdf | |||||
| サイズ | 270.1 kB | |||||
| Version | Date Modified | Object File Name | File Size | File Hash Value | Contributor Name | Show/Hide |
|---|