mathlib
f30200e5 - refactor(algebra/free_algebra): Make `lift` an equiv (#4908)

Commit

5 years ago

refactor(algebra/free_algebra): Make `lift` an equiv (#4908) This can probably lead to some API cleanup down the line

Author

eric-wieser

Parents