swMATH19613MaRDI QIDQ31438
No author found.
Source code repository: https://github.com/theoremprover-museum/discount