Renamings and a Condition-free Formalization of Kronecker’s Construction
Publié en ligne: 09 janv. 2021
Pages: 129 - 135
Accepté: 19 mai 2020
© 2020 Christoph Schwarzweller, published by Sciendo
This work is licensed under the Creative Commons Attribution-ShareAlike 4.0 International License.