swMATH46884MaRDI QIDQ5974976
No author found.
Source code repository: https://github.com/MCLF/henselization