Closed mscroggs closed 2 years ago
Should be merged after https://github.com/mscroggs/symfem/pull/162.
Fixes #170
Should be merged after https://github.com/mscroggs/symfem/pull/162.
Fixes #170