swMATH36839MaRDI QIDQ52541
No author found.
Source code repository: https://github.com/leanprover-community/mathlib
Described by source