User:DlmfSeedBot1

From MaRDI portal

DLMF seed bot1 created an initial set of items in the MaRDI portal in late December 2021. It did run with the software version 72738f7413434b872af76bf452d6d858dd26e60e.[1]