This repository has been archived by the owner on Jul 24, 2024. It is now read-only.

Remove `has_coe_to_fun` instance for `unitary_group` #15749

Open

mcdoll opened this issue Jul 29, 2022 · 0 comments

Labels

good-first-project

Member

mcdoll commented Jul 29, 2022

As discussed here having a has_coe_to_fun instance for the unitary group is not ideal.

The text was updated successfully, but these errors were encountered:

mcdoll added the good-first-project label

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.