Closed physikerwelt closed 5 months ago
Changes:
Instructions for PR review:
Checklist for this PR:
This effectively reverts the commit ec92d829b98a2f4403affeb5a6370d1743c8a009 of @Shirazos7
MaRDI Pull Request
Changes:
Instructions for PR review:
Checklist for this PR: