swMATH46092MaRDI QIDQ5974096
No author found.
Source code repository: https://github.com/liyili2/KtoIsabelle
Described by source