mathlib3
c0c673ab - feat(data/equiv,logic/embedding): add `can_lift` instances (#12049)

Commit

3 years ago

feat(data/equiv,logic/embedding): add `can_lift` instances (#12049)

Author

urkud

urkud

Parents

Loading