Theorem AlgHomClass.instStarHomClass

Modification history

2024-09-09 21:54
Mathlib/Analysis/CStarAlgebra/Spectrum.lean
refactor: deprecate `StarAlgHomClass` and similar as they just duplicate `StarHomClass` (#16591) …
Added AlgHomClass.instStarHomClassView on Github →