swMATH45171MaRDI QIDQ1333887
No author found.
Source code repository: https://github.com/jessealama/mizar-items
Described by source