spectrum): generalize some spectrum results from `alg_hom` to `alg_hom_class` (#16177)

Commit

3 years ago

chore(algebra/algebra/spectrum): generalize some spectrum results from `alg_hom` to `alg_hom_class` (#16177) - [x] depends on: #16178

Author

j-loreaux

Parents