ulift): Missing `ulift` instances (#12879)

Commit

3 years ago

feat(algebra/{group,module}/ulift): Missing `ulift` instances (#12879) Add a few missing algebraic instances for `ulift` and golf a few existing ones.

Author

YaelDillies

Parents

6a55ba89

mathlib3 980185a1 - feat(algebra/{group,module}/ulift): Missing `ulift` instances (#12879)

mathlib3
980185a1 - feat(algebra/{group,module}/ulift): Missing `ulift` instances (#12879)