Commit 2020-11-11 08:22 f30200e5
View on Github →refactor(algebra/free_algebra): Make lift
an equiv (#4908)
This can probably lead to some API cleanup down the line
refactor(algebra/free_algebra): Make lift
an equiv (#4908)
This can probably lead to some API cleanup down the line