Commit 2021-06-30 16:49 36c90d5e

fix(algebra/algebra/subalgebra): fix incorrect namespaces and remove duplicate instance (#8140) We already had a subsingleton instance on alg_homs added in #5672, but we didn't find it #8110 because

• gh-6025 means we can't ask apply_instance to find it
• it had an incorrect name in the wrong namespace Code opting into this instance will need to change from

local attribute [instance] alg_hom.subsingleton

to

local attribute [instance] alg_hom.subsingleton subalgebra.subsingleton_of_subsingleton