The Ring of Conway Numbers in Mizar
| 31 déc. 2023
Publié en ligne: 31 déc. 2023
Pages: 215 - 228
Accepté: 12 déc. 2023
© 2023 Karol Pąk, published by Sciendo
This work is licensed under the Creative Commons Attribution-ShareAlike 3.0 Public License.